{
"item_title" : "Leveraging Applications of Formal Methods, Verification, and Validation",
"item_author" : [" Tiziana Margaria", "Bernhard Steffen "],
"item_description" : "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.",
"item_img_path" : "https://covers4.booksamillion.com/covers/bam/3/64/216/560/3642165605_b.jpg",
"price_data" : {
"retail_price" : "54.99", "online_price" : "54.99", "our_price" : "54.99", "club_price" : "54.99", "savings_pct" : "0", "savings_amt" : "0.00", "club_savings_pct" : "0", "club_savings_amt" : "0.00", "discount_pct" : "10", "store_price" : ""
}
}
Leveraging Applications of Formal Methods, Verification, and Validation : 4th International Symposium on Leveraging Applications, ISoLA 2010 Heraklion,
by Tiziana Margaria and Bernhard Steffen
Overview
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.
This item is Non-Returnable
Customers Also Bought
- 1
Details
- ISBN-13: 9783642165603
- ISBN-10: 3642165605
- Publisher: Springer
- Publish Date: October 2010
- Dimensions: 9.1 x 6.1 x 0.8 inches
- Shipping Weight: 1.63 pounds
- Page Count: 498
Related Categories
You May Also Like...
- 1
