Formal Methods for Performance Evaluation : 7th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced Lectures

by Bernardo, Marco; Hillston, Jane

• ISBN13: 9783540724827
• ISBN10: 3540724826
• Format: Paperback

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

Formal Methods for Web Services : 9th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures

by Bernardo, Marco; Padovani, Luca; Zavattaro, Gianluigi

• ISBN13: 9783642019173
• ISBN10: 364201917X
• Format: Paperback

Formal Methods for Software Architectures : Third International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003, Advanced Lectures

by Bernardo, Marco; Inverardi, Paola; Bernardo, Marco; et al.

• ISBN13: 9783540200833
• ISBN10: 3540200835
• Format: Paperback

Formal Methods for Hardware Verification : 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advances Lectures

by Bernardo, Marco; Cimatti, Alessandro

• ISBN13: 9783540343042
• ISBN10: 3540343040
• Format: Paperback

Formal Methods for Eternal Networked Software Systems

by Bernardo, Marco; Issarny, Valerie

• ISBN13: 9783642214547
• ISBN10: 3642214541
• Edition: 1st
• Format: Paperback

Formal Methods for Eternal Networked Software Systems

by Marco Bernardo

• ISBN13: 9783642214554
• ISBN10: 364221455X
• Format: Nonspecific Binding

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 Methods for Industrial Critical Systems: 13th International Workshop, Fmics 2008, L'aquila, Italy, September 15-16, 2008, Revised Selected Papers

by Cofer, Darren; Fantechi, Alessandro

• ISBN13: 9783642032394
• ISBN10: 3642032397
• Format: Paperback

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 Methods for Open Object-based Distributed Systems: Ifip Tc6 / Wg6.1 Third International Conference on Formal Methods for Open Object-based Distributed Systems (Fmoods), February 15-18, 1999, Florence,

by Ciancarini, Paolo; Fantechi, Alessandro; Gorrieri, Roberto

• ISBN13: 9781475752663
• ISBN10: 1475752660
• Edition: Reprint
• Format: Paperback