Opening book details…
Can I read 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 on EtoBox?
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 by Giuseppe Castagna (auth.), Roberto Bruni, Juergen Dingel (eds.) is a computer science book available to read on EtoBox.
What is 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 about?
This book constitutes the refereed proceedings of the 13th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2011, and the 31st IFIP WG 6.1 Formal Techniques for Networked and Distributed Systems, FORTE 2011, held in Reykjavik, Island, in June 2011, as one of the DisCoTec 2011 events. The 21 revised full papers presented together with one invited talk were carefully reviewed and selected from 65 submissions. The topics covered are formal ver
Who reads 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?
It is typically read by working professionals who need an authoritative practice reference.
Common subject areas: medicine, law, business, engineering.
- Author
- Giuseppe Castagna (auth.), Roberto Bruni, Juergen Dingel (eds.)
- Publisher
- Springer-Verlag Berlin Heidelberg
- Published
- 2011
- Language
- EN
- ISBN
- 9783642214615
- Category
- computer science
- Subjects
- Engineering, Language Learning, Programming
- Updated
- 2026-03-25
More by Giuseppe Castagna (auth.), Roberto Bruni, Juergen Dingel (eds.)
Browse all works by Giuseppe Castagna (auth.), Roberto Bruni, Juergen Dingel (eds.)
Similar books
- 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 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)
- Distributed Applications and Interoperable Systems : 11th IFIP WG 6.1 International Conference, DAIS 2011, Reykjavik, Iceland, June 6-9, 2011, Proceedings — Amir H. Payberah, Jim Dowling, Seif Haridi (auth.), Pascal Felber, Romain Rouvoy (2011)
- 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)
- Formal Methods for Open Object-Based Distributed Systems: 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings (Lecture Notes in Computer Science) — Rocco De Nicola, Daniele Gorla, Rosario Pugliese (auth.), Martin Steffen, Gianluigi Zavattaro (2005)
- Formal techniques for networked and distributed systems-- FORTE 2004 : 24th IFIP WG 6.1 International conference, Madrid, Spain, September 27-30, 2004 : proceedings — Martín Abadi, Ted Wobber (auth.), David de Frutos-Escrig, Manuel Núñez (2004)
