Springer
Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, Isola 2010, Heraklion
Product Code:
9783642165573
ISBN13:
9783642165573
Condition:
New
$118.37
Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, Isola 2010, Heraklion
$118.37
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: 708 pages |
| Binding: Paperback or Softback |
| ISBN-10: 3642165575 |
| ISBN-13: 9783642165573 |
Related Products
