0
*
0
*
1450
2025
book-filter
Work cover

Formal Techniques for Distributed Objects, Components, and Systems

  • Catuscia Palamidessi,
  • Erika Ábrahám

0

0 ratings

Genres

  • Electronic data processing, distributed processing
  • Computer network protocols
  • System design
  • Software engineering
  • Computer science
  • Logic design
  • Logics and Meanings of Programs
  • Computation by Abstract Devices
  • Mathematical Logic and Formal Languages
Already read

people already read

Currently reading

people are currently reading

Want to read

people want to read

About the authors

  • Catuscia Palamidessi

    0

    0 ratings · 12 works

  • Erika Ábrahám

    0

    0 ratings · 4 works

Editions

  • Edition cover

    Springer

    May 21, 2014

  • Edition cover

    Springer London, Limited

    2014