{
"item_title" : "Formal Methods for Eternal Networked Software Systems",
"item_author" : [" Marco Bernardo", "Valerie Issarny "],
"item_description" : "Based on lectures delivered at the 11th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, this volume explores formal methods for external networked software systems.
",
"item_img_path" : "https://covers4.booksamillion.com/covers/bam/3/64/221/454/3642214541_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" : ""
}
}
Formal Methods for Eternal Networked Software Systems : 11th International School on Formal Methods for the Design of Computer, Communication and Softw
by Marco Bernardo and Valerie Issarny
Overview
Based on lectures delivered at the 11th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, this volume explores formal methods for external networked software systems.
This item is Non-Returnable
Customers Also Bought
- 1
Details
- ISBN-13: 9783642214547
- ISBN-10: 3642214541
- Publisher: Springer
- Publish Date: June 2011
- Dimensions: 9.2 x 6.1 x 1.1 inches
- Shipping Weight: 1.8 pounds
- Page Count: 527
Related Categories
You May Also Like...
- 1
