Formal Methods for Eternal Networked Software Systems: 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011 Bertinoro, Italy, June 13-18, 2011 Advanced Lectures
Formal Methods for Eternal Networked Software Systems: 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011 Bertinoro, Italy, June 13-18, 2011 Advanced Lectures
Based on lectures delivered at the 11th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, this volume explores formal methods for external networked software systems.
Read More
Based on lectures delivered at the 11th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, this volume explores formal methods for external networked software systems.
Read Less
Add this copy of Formal Methods for Eternal Networked Software Systems: to cart. $60.65, new condition, Sold by Ingram Customer Returns Center rated 5.0 out of 5 stars, ships from NV, USA, published 2011 by Springer.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
New. Trade paperback (US). Glued binding. 527 p. Contains: Illustrations, black & white, Illustrations, color, Line drawings, black & white, Tables, black & white, Figures.
Add this copy of Formal Methods for Eternal Networked Software Systems: to cart. $110.34, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Santa Clarita, CA, UNITED STATES, published 2011 by Springer.
