Delivery included to the United States

Formal Methods for Model-Driven Engineering : 12th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures

Formal Methods for Model-Driven Engineering : 12th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures - Lecture Notes in Computer Science

2012

Paperback (14 Jun 2012)

Save $5.99

  • RRP $61.51
  • $55.52
Add to basket

Includes delivery to the United States

10+ copies available online - Usually dispatched within 7 days

Publisher's Synopsis

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.

Book information

ISBN: 9783642309816
Publisher: Springer Berlin Heidelberg
Imprint: Springer
Pub date:
Edition: 2012
DEWEY: 005.12
DEWEY edition: 23
Language: English
Number of pages: 437
Weight: 624g
Height: 234mm
Width: 156mm
Spine width: 23mm