Skip to product information
Leveraging Applications of Formal Methods, Verification, and Validation
  • Leveraging Applications of Formal Methods, Verification, and Validation
Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II

Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II

$49.49 $54.99

Reliable shipping

Flexible returns

Lecture Notes in Computer Science Theoretical Computer Science and General Issues

Leveraging Applications of Formal Methods, Verification, and Validation

4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II

Tiziana Margaria | Bernhard Steffen

Computers / Networking / General


Publication Date: 19 October 2010
Publisher: Springer Berlin Heidelberg
Imprint: Springer
ISBN-13: 9783642165603
Format: Paperback / softback
Page Count: 498

You may also like