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 by Alfonso Pierantonio 0000-00-00 00:00:00

Find Deals & eBook Download 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

by Alfonso Pierantonio
Book Views: 18
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 by Alfonso Pierantonio
Author
Alfonso Pierantonio
Publisher
Springer
Date of release
Pages
439
ISBN
9783642309816
Binding
Paperback
Illustrations
Format
PDF, EPUB, MOBI, TXT, DOC
Rating
5
26
Verified safe to download
See available formats

Book review

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.

Find and Download Book — 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

Click one of share button to proceed download:
Choose server for download:
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
9 mb
2 min
PDF
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
1 mb
4 min
ePub
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
13 mb
2 min
TXT
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
5 mb
3 min
MOBI
Get It!
If not downloading or you getting an error:
  • Try another server.
  • Try to reload page — press F5 on keyboard.
  • Clear browser cache.
  • Clear browser cookies.
  • Try other browser.
  • If you still getting an error — please contact us and we will fix this error ASAP.
Sorry for inconvenience!
For authors or copyright holders
Amazon Affiliate

Go to Removal form

Leave a comment

Readers reviews