Browse By Department
FM 2011: Formal Methods: 17th International Symposium on Formal Methods Limerick Ireland June 20-24 2011 Proceeding (Paperback)
This book constitutes the refereed proceedings of the 17th International Symposium on Formal Methods FM 2011 held in Limerick Ireland in June 2011. The 29 revised full papers presented together with 3 invited talks were carefully reviewed and...
$109.00 $54.99 Free Delivery
