Opening book details…
Can I read Formal Methods for Open Object-Based Distributed Systems : IFIP TC6 on EtoBox?
Formal Methods for Open Object-Based Distributed Systems : IFIP TC6 by Oscar Nierstrasz (auth.), Paolo Ciancarini, Alessandro Fantechi, Robert Gorrieri (eds.) is a computer science book available to read on EtoBox.
What is Formal Methods for Open Object-Based Distributed Systems : IFIP TC6 about?
Formal Methods for Open Object-Based Distributed Systems presents the leading edge in several related fields, specifically object-orientated programming, open distributed systems and formal methods for object-oriented systems. With increased support within industry regarding these areas, this book captures the most up-to-date information on the subject. <br> Many topics are discussed, including the following important areas: object-oriented design and programming; formal specification of distrib
Who reads Formal Methods for Open Object-Based Distributed Systems : IFIP TC6?
It is typically read by working professionals who need an authoritative practice reference.
Common subject areas: medicine, law, business, engineering.
- Author
- Oscar Nierstrasz (auth.), Paolo Ciancarini, Alessandro Fantechi, Robert Gorrieri (eds.)
- Publisher
- Springer US : Imprint : Springer
- Published
- 1999
- Language
- EN
- ISBN
- 9780387355627
- Category
- computer science
- Subjects
- Management, Science, Technology
- Updated
- 2026-03-25
Other editions & translations
- Formal Methods for Open Object-Based Distributed Systems (vol. # 4037) : 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006 (2006)
- Formal Methods for Open Object-Based Distributed Systems: 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings ( (2006)
- Formal Methods for Open Object-Based Distributed Systems: 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings ( (2006)
More by Oscar Nierstrasz (auth.), Paolo Ciancarini, Alessandro Fantechi, Robert Gorrieri (eds.)
Similar books
- Formal Methods for Open Object-Based Distributed Systems IV : IFIP TC6/WG6.1. Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000) September 6–8, 2000, Stanford, California, USA — Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro (auth.), Scott F. Smith, Carolyn L. Talcott (2000)
- Formal Methods for Open Object-Based Distributed Systems: 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003, Proceedings (Lecture Notes in Computer Science) — Bart Jacobs (auth.), Elie Najm, Uwe Nestmann, Perdita Stevens (2003)
- Formal Methods For Open Object-based Distributed Systems: 10th Ifip Wg 6.1 International Conference, Fmoods 2008, Oslo, Norway, June 4-6, 2008 Proceedings (lecture Notes In Computer Science) — Andrew Myers (auth.), Gilles Barthe, Frank S. de Boer (2008)
- Formal techniques for networked and distributed systems: FORTE 2001: IFIP TC6 WG6.1, 21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 20Author — Editor-myungchul Kim (2001)
- Formal Techniques for Distributed Systems : Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012, Proceedings — Michael Lienhardt, Ivan Lanese (auth.), Holger Giese, Grigore Rosu (2012)
- Formal techniques for distributed systems : joint 11th IFIP WG 6.1 international conference, FMOODS 2009 and 29th IFIP WG 6.1 international conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009 : proceedings — David Kitchin, Adrian Quark, William Cook, Jayadev Misra (auth.), David Lee, Antónia Lopes, Arnd Poetzsch-Heffter (2009)