
Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, Isola 2010, Heraklion - Paperback
Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, Isola 2010, Heraklion - Paperback
$185.18
/

products.product.pickup_availability.unavailable
Your payment information is processed securely. We do not store credit card details nor have access to your credit card information.
by Tiziana Margaria (Editor), Bernhard Steffen (Editor)
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.



















