{
"item_title" : "Formal Methods for Model-Driven Engineering",
"item_author" : [" Marco Bernardo", "Vittorio Cortellessa", "Alfonso Pierantonio "],
"item_description" : "This book presents tutorial lectures by leading researchers given at the 12th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2012, held in Bertinoro, Italy, in June 2012.
",
"item_img_path" : "https://covers1.booksamillion.com/covers/bam/3/64/230/981/364230981X_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 Model-Driven Engineering : 12th International School on Formal Methods for the Design of Computer, Communication and Software System
Overview
This book presents tutorial lectures by leading researchers given at the 12th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2012, held in Bertinoro, Italy, in June 2012.
This item is Non-Returnable
Customers Also Bought
- 1
Details
- ISBN-13: 9783642309816
- ISBN-10: 364230981X
- Publisher: Springer
- Publish Date: June 2012
- Dimensions: 9.2 x 6 x 1 inches
- Shipping Weight: 1.45 pounds
- Page Count: 439
Related Categories
You May Also Like...
- 1
