Fortell venner om denne varen:
Formal Methods for Model-driven Engineering - Lecture Notes in Computer Science / Programming and Software Engineering
Marco Bernardo
Pris
元 398
Bestillingsvarer
Forventes levert 9. - 17. jul
Legg til iMusic ønskeliste
Eller
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
| Media | Bøker Pocketbok (Bok med mykt omslag og limt rygg) |
| Utgitt | 14. juni 2012 |
| ISBN13 | 9783642309816 |
| Utgivere | Springer-Verlag Berlin and Heidelberg Gm |
| Sjanger | Aspects (Academic) > Science / Technology Aspects |
| Antall sider | 448 |
| Mål | 156 × 234 × 23 mm · 657 g |
| Språk | Fransk |
| Redaktør | Bernardo, Marco |
| Redaktør | Cortellessa, Vittorio |
| Redaktør | 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 - Programming and Software Engineering (Pocketbok) [2015 edition] (2015)](https://imusic.b-cdn.net/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-programming-and-software-engin&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 - Programming and Software Engineer (Pocketbok) [2014 edition] (2014)](https://imusic.b-cdn.net/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-programming-and-software-&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 (Pocketbok) [2013 edition] (2013)](https://imusic.b-cdn.net/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 (Pocketbok) [2008 edition] (2008)](https://imusic.b-cdn.net/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-pocketbok&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 (Pocketbok) [2007 edition] (2007)](https://imusic.b-cdn.net/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 (Pocketbok) [2006 edition] (2006)](https://imusic.b-cdn.net/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 (Pocketbok) [2005 edition] (2005)](https://imusic.b-cdn.net/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)
