分享给好友:
Formal Methods for Model-driven Engineering - Lecture Notes in Computer Science / Programming and Software Engineering Marco Bernardo
Formal Methods for Model-driven Engineering - Lecture Notes in Computer Science / Programming and Software Engineering
Marco Bernardo
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.
448 pages, 158 black & white illustrations, biography
| 介质类型 | 图书 Paperback Book (平装胶订图书) |
| 已发行 | 2012年6月14日 |
| ISBN13 | 9783642309816 |
| 出版商 | Springer-Verlag Berlin and Heidelberg Gm |
| 分类 | Aspects (Academic) > Science / Technology Aspects |
| 页数 | 448 |
| 商品尺寸 | 156 × 234 × 23 mm · 657 g |
| 语言 | 法语 |
| 编辑 | Bernardo, Marco |
| 编辑 | Cortellessa, Vittorio |
| 编辑 | Pierantonio, Alfonso |
![Cover for Marco Bernardo · Formal Methods for Multicore Programming: 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures - Lecture Notes in Computer Science (Paperback Book) [2015 edition] (2015)](https://imusic.com.cn/local-image/images/item/original/406/9783319189406.jpg?marco-bernardo-2015-formal-methods-for-multicore-programming-15th-international-school-on-formal-methods-for-the-design-of-computer-communication-and-software-systems-sfm-2015-bertinoro-italy-june-15-19-2015-advanced-lectures-lecture-notes-in-computer-scie&class=scaled&v=1476722384)
![Cover for Marco Bernardo · Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures - Lecture Notes in Computer Science (Paperback Book) [2014 edition] (2014)](https://imusic.com.cn/local-image/images/item/original/163/9783319073163.jpg?marco-bernardo-2014-formal-methods-for-executable-software-models-14th-international-school-on-formal-methods-for-the-design-of-computer-communication-and-software-systems-sfm-2014-bertinoro-italy-june-16-20-2014-advanced-lectures-lecture-notes-in-computer&class=scaled&v=1473757248)
![Cover for Marco Bernardo · Formal Methods for Dynamical Systems: 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures - Lecture Notes in Computer Science (Paperback Book) [2013 edition] (2013)](https://imusic.com.cn/local-image/images/item/original/736/9783642388736.jpg?marco-bernardo-2013-formal-methods-for-dynamical-systems-13th-international-school-on-formal-methods-for-the-design-of-computer-communication-and-software-systems-sfm-2013-bertinoro-italy-june-17-22-2013-advanced-lectures-lecture-notes-in-computer-science-&class=scaled&v=1556770864)
![Cover for Marco Bernardo · Formal Methods for Computational Systems Biology: 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 - Lecture Notes in Computer Science (Paperback Book) [2008 edition] (2008)](https://imusic.com.cn/local-image/images/item/original/921/9783540688921.jpg?marco-bernardo-2008-formal-methods-for-computational-systems-biology-8th-international-school-on-formal-methods-for-the-design-of-computer-communication-and-software-systems-sfm-2008-bertinoro-italy-june-2-7-2008-lecture-notes-in-computer-science-paperback&class=scaled&v=1556770869)
![Cover for Marco Bernardo · Formal Methods for Performance Evaluation: 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 8-June 2, 2007, Advanced Lectures - Programming and Software Engineerin (Paperback Book) [2007 edition] (2007)](https://imusic.com.cn/local-image/images/item/original/827/9783540724827.jpg?marco-bernardo-2007-formal-methods-for-performance-evaluation-7th-international-school-on-formal-methods-for-the-design-of-computer-communication-and-software-systems-sfm-2007-bertinoro-italy-may-8-june-2-2007-advanced-lectures-programming-and-software-eng&class=scaled&v=1611675396)
![Cover for Marco Bernardo · Formal Methods for Hardware Verification: 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advances Lectures - Lecture Notes in Computer Science (Paperback Book) [2006 edition] (2006)](https://imusic.com.cn/local-image/images/item/original/042/9783540343042.jpg?marco-bernardo-2006-formal-methods-for-hardware-verification-6th-international-school-on-formal-methods-for-the-design-of-computer-communication-and-software-systems-sfm-2006-bertinoro-italy-may-22-27-2006-advances-lectures-lecture-notes-in-computer-scienc&class=scaled&v=1604036017)
![Cover for Marco Bernardo · Formal Methods for Mobile Computing: 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures - Lecture Notes in Computer Science (Paperback Book) [2005 edition] (2005)](https://imusic.com.cn/local-image/images/item/original/977/9783540256977.jpg?marco-bernardo-2005-formal-methods-for-mobile-computing-5th-international-school-on-formal-methods-for-the-design-of-computer-communication-and-software-systems-sfm-moby-2005-bertinoro-italy-april-26-30-2005-advanced-lectures-lecture-notes-in-computer-scie&class=scaled&v=1480936211)
