Opening book details…
Can I read Lecture Notes in Computer Science 3535 Formal Methods for Open Object-Based Distributed Systems 7th IFIP WG 6.1 International Conference,FMOODS 2005 on EtoBox?
Lecture Notes in Computer Science 3535 Formal Methods for Open Object-Based Distributed Systems 7th IFIP WG 6.1 International Conference,FMOODS 2005 by Martin Steffen, Gianluigi Zavattaro, FMOODS 2005, IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, International Conference on Formal Methods for Open Object-Based Distributed Systems, M Steffen is a computer science book available to read on EtoBox.
What is Lecture Notes in Computer Science 3535 Formal Methods for Open Object-Based Distributed Systems 7th IFIP WG 6.1 International Conference,FMOODS 2005 about?
This volume contains the proceedings of FMOODS 2005, the 7th IFIP WG6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems. The conference was held in Athens, Greece on June 15 –17, 2005.
Who reads Lecture Notes in Computer Science 3535 Formal Methods for Open Object-Based Distributed Systems 7th IFIP WG 6.1 International Conference,FMOODS 2005?
It is typically read by working professionals who need an authoritative practice reference.
Common subject areas: medicine, law, business, engineering.
- Author
- Martin Steffen, Gianluigi Zavattaro, FMOODS 2005, IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, International Conference on Formal Methods for Open Object-Based Distributed Systems, M Steffen
- Publisher
- Springer Berlin Heidelberg : Imprint: Springer
- Published
- 2005
- Language
- EN
- ISBN
- 9783540315568
- Category
- computer science
- Subjects
- Engineering, Science, Programming
- Updated
- 2026-03-25
More by Martin Steffen, Gianluigi Zavattaro, FMOODS 2005, IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, International Conference on Formal Methods for Open Object-Based Distributed Systems, M Steffen
Similar books
- Distributed Applications and Interoperable Systems: 5th IFIP WG 6.1 International Conference, DAIS 2005, Athens, Greece, June 15-17, 2005, Proceedings (Lecture Notes in Computer Science (3543)) — René Meier, Barbara Hughes, Raymond Cunningham, Vinny Cahill (auth.), Lea Kutvonen, Nancy Alonistioti (2005)
- 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 13th IFIP WG 6.1 international conference, FMOODS 2011, and 30th IFIP WG 6.1 international conference, FORTE 2011, Reykjavik, Iceland, June 6-9, 2011 : proceedings — Giuseppe Castagna (auth.), Roberto Bruni, Juergen Dingel (2011)
- Formal Techniques for Distributed Systems: Joint 12th IFIP WG 6. 1 International Conference, FMOODS 2010 and 30th IFIP WG 6. 1 International Conference, FORTE 2010, Amsterdam, the Netherlands, June 7-9, 2010, Proceedings — Gerard J. Holzmann (auth.), John Hatcliff, Elena Zucca (2010)
- Formal Techniques for Distributed Systems [recurso electrónico] Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings — Tevfik Bultan (auth.), Dirk Beyer, Michele Boreale (2013)
- Distributed Applications And Interoperable Systems: 8th Ifip Wg 6.1 International Conference, Dais 2008, Oslo, Norway, June 4-6, 2008, Proceedings (lecture Notes In Computer Science) — Christoph Rathfelder, Henning Groenda (auth.), René Meier, Sotirios Terzis (2008)