Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010 Heraklion,

By Bernhard Steffen

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. This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 3642165605
• ISBN13: 9783642165603
• Release Date: October 2010
• Publisher: Springer
• Length: 498 Pages
• Weight: 1.63 lbs.
• Dimensions: 0.8" x 6.1" x 9.1"