Conte aos seus amigos sobre este item:
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 2014 edition
Marco Bernardo
Preço
R 994
excluindo impostos
Item sob encomenda (no estoque do fornecedor)
Espera-se estar pronto para envio 4 - 10 de jul
O que dizem nossos clientes:
Adicione à sua lista de desejos do iMusic
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 2014 edition
Marco Bernardo
343 pages, 101 black & white illustrations, biography
| Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
| Lançado | 21 de maio de 2014 |
| ISBN13 | 9783319073163 |
| Editoras | Springer International Publishing AG |
| Páginas | 343 |
| Dimensões | 155 × 235 × 19 mm · 494 g |
| Idioma | French |
| Editor | Bernardo, Marco |
| Editor | Damiani, Ferruccio |
| Editor | Haehnle, Reiner |
| Editor | Johnsen, Einar Broch |
| Editor | Schaefer, Ina |
Mostrar tudo
Mais por Marco Bernardo
![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 (Paperback Book) [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 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.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 (Paperback Book) [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-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.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 (Paperback Book) [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 (Paperback Book) [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)
Ver tudo de Marco Bernardo ( por exemplo Paperback Book , CD e Book )