Leveraging Applications of Formal Methods, Verification, and Validation
Tiziana Margaria, Bernhard Steffen
₹5,640
Leveraging Applications of Formal Methods, Verification, and Validation
4th International Symposium on Leveraging Applications, Isola 2010, Heraklion
by Tiziana Margaria, Bernhard Steffen
₹5,271
Free delivery. Nothing extra to pay at checkout.
- New copy. Each book is ordered new from our distributor, Atlantic Books, after you place your order.
- Delivery in 3–7 days to any serviceable pincode in India, with tracking.
- Cash on delivery. Pay when the parcel reaches you.
- 15-day returns. See what qualifies.
From the publisher
Constitutes the refereed proceedings of the 4th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2010, held in Heraklion, Crete, Greece, in October 2010.
Description supplied by the publisher.
Book details
- ISBN-13
- 9783642165573
- ISBN-10
- 3642165575
- Authors
- Tiziana Margaria, Bernhard Steffen
- Publisher
- Springer
- Condition
- New
More by Tiziana Margaria and related titles
Correct Hardware Design and Verification Methods
Tiziana Margaria, Tom Melham
₹5,625
Services and Visualization
Tiziana Margaria, Bernhard Steffen, Roland Rückert
₹5,543
Tools and Algorithms for the Construction and Analysis of Systems
Tiziana Margaria, Wang Yi
₹5,395
Colorectal Surgery
Mark Killingback
₹5,213
Der Buchenhochwaldbetrieb
Christian Frömbling
₹5,330
Emissionshandel
Michael Lucht, Gorden Spangardt
₹4,748
Informatik ALS Herausforderung an Schule Und Ausbildung
W. Arlt, K. Haefner
₹3,508
Lehrbuch Der Kinderheilkunde
Philipp Bamberger
₹3,143
Rapid Control Prototyping
Dirk Abel, Alexander Bollig
₹5,873
Theory and Practice in Distributed Systems
Kenneth P. Birman, Friedemann Mattern, Andre Schiper
₹5,512
Risiko, Anreiz Und Kontrolle
Helmut Laux
₹3,508