Springer
Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010 Heraklion,
Product Code:
9783642165603
ISBN13:
9783642165603
Condition:
New
$61.47
Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010 Heraklion,
$61.47
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.
| Author: Tiziana Margaria |
| Publisher: Springer |
| Publication Date: Oct 19, 2010 |
| Number of Pages: 498 pages |
| Binding: Paperback or Softback |
| ISBN-10: 3642165605 |
| ISBN-13: 9783642165603 |
Related Products
