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, Island, June 6-9,

by Bruni, Roberto; Dingel, Juergen

• ISBN13: 9783642214608
• ISBN10: 3642214606
• Format: Paperback

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

by Lee, David; Lopes, Antonia; Poetzsch-heffter, Arnd

• ISBN13: 9783642021374
• ISBN10: 3642021379
• Format: Paperback

Distributed Applications and Interoperable Systems : 11th IFIP WG 6. 1 International Conference, DAIS 2011, Reykjavik, Iceland, June 6-9, 2011, Proceedings

by Felber, Pascal; Rouvoy, Romain

• ISBN13: 9783642213861
• ISBN10: 3642213863
• Format: Paperback

Formal Methods for Open Object-Based Distributed Systems : 8th IFIP WG 6. 1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings

by Gorrieri, Roberto; Wehrheim, Heike

• ISBN13: 9783540348931
• ISBN10: 354034893X
• Format: Paperback

Formal Techniques for Networked and Distributed Systems - FORTE 2006 : 26th IFIP WG 6. 1 International Conference, Paris, France, September 26-29, 2006, Proceedings

by Najm, Elie; Pradat-peyre, Jean-francois; Donzeau-gouge, Veronique Viguie

• ISBN13: 9783540462194
• ISBN10: 3540462198
• Format: Paperback

Formal Methods for Open Object-Based Distributed Systems : 10th IFIP WG 6. 1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings

by Barthe, Gilles; De Boer, Frank S.

• ISBN13: 9783540688624
• ISBN10: 3540688625
• Format: Paperback

• Used Textbook Copy Usually Ships in 2-4 Business Days
• Free Shipping On Orders Over $35!

Formal Methods for Open Object-based Distributed Systems: 9th Ifip Wg 6.1 International Conference, Fmoods 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings

by Bonsangue, Marcello M.; Johnsen, Einar Broch

• ISBN13: 9783540729198
• ISBN10: 3540729194
• Format: Paperback

Distributed Applications and Interoperable Systems : 9th IFIP WG 6. 1 International Conference, DAIS 2009, Lisbon, Portugal, June 9-12, 2009, Proceedings

by Senivongse, Twittie; Oliveira, Rui

• ISBN13: 9783642021633
• ISBN10: 3642021638
• Format: Paperback

Formal Techniques for Networked and Distributed Systems- FORTE 2008: 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings

by Suzuki, Kenji; Higashino, Teruo; Yasumoto, Keiichi; et al.

• ISBN13: 9783540688549
• ISBN10: 3540688544
• Format: Paperback

• Used Textbook Copy Usually Ships in 2-4 Business Days
• Free Shipping On Orders Over $35!

Testing of Software and Communication Systems : 21st IFIP WG 6. 1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, the Netherlands, November 2-4, 2009, Proceedings

by Nunez, Manuel; Baker, Paul; Merayo, Mercedes G.

• ISBN13: 9783642050305
• ISBN10: 3642050301
• Edition: 1st
• Format: Paperback