Formal Methods for Model-Driven Engineering: 12th International School on Formal Methods for the Design of Computer, Communication and Software ... (Lecture Notes in Computer Science, 7320)

★★★★★ 4.2 87 reviews

US$18.96
Price when purchased online
Free shipping Free 30-day returns

We aim to show you accurate product information. Manufacturers, suppliers and others provide what you see here.
US$18.96
Price when purchased online
Free shipping Free 30-day returns

How do you want your item?
You get 30 days free! Choose a plan at checkout.
Shipping
Arrives Jun 30
Free
Pickup
Check nearby
Delivery
Not available

Free 30-day returns Details

Product details

Management number 232087433 Release Date 2026/06/18 List Price US$18.96 Model Number 232087433
Category

This book presents 11 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. SFM 2012 was devoted to model-driven engineering and covered several topics including modeling languages; model transformations, functional and performance modeling and analysis; and model evolution management. Read more

ISBN10 364230981X
ISBN13 978-3642309816
Edition 2012th
Language English
Publisher Springer
Dimensions 6.1 x 1.01 x 9.25 inches
Item Weight 1.45 pounds
Print length 446 pages
Publication date June 14, 2012

Correction of product information

If you notice any omissions or errors in the product information on this page, please use the correction request form below.

Correction Request Form

Customer ratings & reviews

4.2 out of 5
★★★★★
87 ratings | 36 reviews
How item rating is calculated
View all reviews
5 stars
78% (68)
4 stars
6% (5)
3 stars
3% (3)
2 stars
2% (2)
1 star
11% (10)
Sort by

There are currently no written reviews for this product.