Browse By Department
Leveraging Applications of Formal Methods Verification and Validation: 4th International Symposium on Leveraging Applications Isola 2010 Heraklion Crete Greece October 18-21 2010 Proceedings
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.
$123.84 $109.99 Free Delivery