Powiedz znajomym o tym przedmiocie:
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 Marco Bernardo 2014 edition
Cena
zł 211,90
Zamówione z odległego magazynu
Przewidywana dostawa 7 - 15 sty 2026
Świąteczne prezenty można zwracać do 31 stycznia
Nasi klienci mówią:
Dodaj do swojej listy życzeń 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 - Lecture Notes in Computer Science
Marco Bernardo
343 pages, 101 black & white illustrations, biography
| Media | Książki Paperback Book (Książka z miękką okładką i klejonym grzbietem) |
| Wydane | 21 maja 2014 |
| ISBN13 | 9783319073163 |
| Wydawcy | Springer International Publishing AG |
| Strony | 343 |
| Wymiary | 155 × 235 × 19 mm · 494 g |
| Język | Francuski |
| Redaktor | Bernardo, Marco |
| Redaktor | Damiani, Ferruccio |
| Redaktor | Haehnle, Reiner |
| Redaktor | Johnsen, Einar Broch |
| Redaktor | Schaefer, Ina |
Więcej od Marco Bernardo
Pokaż wszystko![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.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-lecture-notes-in-computer-scie&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)
Zobacz wszystko od Marco Bernardo ( np. Paperback Book , CD i Book )