Pastāsti draugiem par šo preci:
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 Marco Bernardo 2015 edition
Cena
€ 63,99
Pasūtīts no attālās noliktavas
Paredzamā piegāde . gada 26. aug. - . gada 9. sept.
Saņemiet paziņojumus par jauniem Marco Bernardo izdevumiem
Mūsu klienti saka:
Pievienot savam iMusic vēlmju sarakstam
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
Marco Bernardo
This book presents 5 tutorial lectures given by leading researchers at the 15th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2015, held in Bertinoro, Italy, in June 2015.
211 pages, 72 black & white illustrations, biography
| Mediji | Grāmatas Paperback Book (Grāmata ar mīksto vāku un līmēto muguru) |
| Izlaists | 2015. gada 19. maijs |
| ISBN13 | 9783319189406 |
| Izdevēji | Springer International Publishing AG |
| Lapas | 211 |
| Izmēri | 155 × 235 × 12 mm · 3,40 kg |
| Valoda | Franču |
| Redaktors | Bernardo, Marco |
| Redaktors | Johnsen, Einar Broch |
Vairāk no Marco Bernardo
Rādīt visu![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.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-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.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)
Vairāk no tā paša izdevēja
![Cover for Keren Epstein-Gilboa · The Breastfeeding Relationship and Children’s Social and Emotional Development (Hardcover Book) [2025 edition] (2027)](https://imusic-static.b-cdn.net/images/missing-tall.png)
![Cover for Transmission Electron Microscopy: The Companion Volume (Paperback Book) [Second Edition 2026 edition] (2027)](https://imusic.b-cdn.net/images/item/original/916/9783031807916.jpg?2027-transmission-electron-microscopy-the-companion-volume-paperback-book&class=scaled&v=1780320082)
![Cover for Christopher M. Brown · The Democratization of Cuba (Hardcover Book) [2022 edition] (2027)](https://imusic.b-cdn.net/images/item/original/523/9783319660523.jpg?christopher-m-brown-2027-the-democratization-of-cuba-hardcover-book&class=scaled&v=1594018037)
![Cover for Musculoskeletal Imaging (N/A) [Third Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/913/9783031668913.jpg?2026-musculoskeletal-imaging&class=scaled&v=1782137130)
![Cover for Keratoprostheses: Overcoming Corneal Blindness (Hardcover Book) [2025 edition] (2026)](https://imusic.b-cdn.net/images/item/original/906/9783031770906.jpg?2026-keratoprostheses-overcoming-corneal-blindness-hardcover-book&class=scaled&v=1774452309)
![Cover for Werner Kempf · Dermatopathology (Hardcover Book) [Third Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/711/9783031989711.jpg?werner-kempf-2026-dermatopathology-hardcover-book&class=scaled&v=1774452112)
![Cover for Simone Cerreia-Vioglio · Principles of Mathematics for Economics (Paperback Book) [1st ed. 2017 edition] (2026)](https://imusic.b-cdn.net/images/item/original/131/9783319447131.jpg?simone-cerreia-vioglio-2026-principles-of-mathematics-for-economics-paperback-book&class=scaled&v=1606717221)
![Cover for T. S. Venkatesh · Strength of Materials: Volume I: Concepts, Problems & Solutions (Hardcover Book) [Second Edition 2027 edition] (2026)](https://imusic.b-cdn.net/images/item/original/846/9783031955846.jpg?t-s-venkatesh-2026-strength-of-materials-volume-i-concepts-problems-solutions-hardcover-book&class=scaled&v=1778114493)
![Cover for Daniel Schatz · Sweden’s Relations with Israel and the Palestinians: An Untold History (Hardcover Book) [2024 edition] (2026)](https://imusic.b-cdn.net/images/item/original/321/9783031720321.jpg?daniel-schatz-2026-sweden-s-relations-with-israel-and-the-palestinians-an-untold-history-hardcover-book&class=scaled&v=1774494645)
![Cover for Peter C. Hill · Measures of Religiosity and Spirituality (Book) [2024 edition] (2026)](https://imusic.b-cdn.net/images/item/original/431/9783031483431.jpg?peter-c-hill-2026-measures-of-religiosity-and-spirituality-book&class=scaled&v=1780099572)
![Cover for Monica Catherine O'Brien · Understanding and Responding to the French Pox in Frankfurt am Main and Nuremberg, 1495–1700: Contagion, Practicality, and Morality - Palgrave Studies in Medieval and Early Modern Medicine (Hardcover Book) [2024 edition] (2026)](https://imusic.b-cdn.net/images/item/original/244/9783031469244.jpg?monica-catherine-o-brien-2026-understanding-and-responding-to-the-french-pox-in-frankfurt-am-main-and-nuremberg-1495-1700-contagion-practicality-and-morality-palgrave-studies-in-medieval-and-early-modern-medicine-hardcover-book&class=scaled&v=1780034060)
![Cover for Reinhard Noll · Laser-Induced Breakdown Spectroscopy: Fundamentals and Applications (Hardcover Book) [Second Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/692/9783031853692.jpg?reinhard-noll-2026-laser-induced-breakdown-spectroscopy-fundamentals-and-applications-hardcover-book&class=scaled&v=1774530627)
Skatīt visus Marco Bernardo ( piem., Paperback Book , CD un Book )