Fortæl dine venner om denne vare:
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II - Theoretical Computer Science and 2014 edition
Tiziana Margaria
Pris
Íkr 8.523,75
Bestilles fra fjernlager
Forventes klar til forsendelse 15. - 21. jul.
Tilføj til din iMusic ønskeseddel
Eller
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II - Theoretical Computer Science and 2014 edition
Tiziana Margaria
The two-volume set LNCS 8802 and LNCS 8803 constitutes the refereed proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2014, held in Imperial, Corfu, Greece, in October 2014.
644 pages, 187 black & white illustrations, biography
| Medie | Bøger Paperback Bog (Bog med blødt omslag og limet ryg) |
| Udgivet | 7. oktober 2014 |
| ISBN13 | 9783662452301 |
| Forlag | Springer-Verlag Berlin and Heidelberg Gm |
| Genre | Aspects (Academic) > Science / Technology Aspects |
| Antal sider | 644 |
| Mål | 155 × 235 × 34 mm · 916 g |
| Sprog | Tysk |
| Klipper/redaktør | Margaria, Tiziana |
| Klipper/redaktør | Steffen, Bernhard |
![Cover for Tiziana Margaria · Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I - Theoretical Computer Science and General (Paperback Bog) [2014 edition] (2014)](https://imusic.b-cdn.net/images/item/original/332/9783662452332.jpg?tiziana-margaria-2014-leveraging-applications-of-formal-methods-verification-and-validation-technologies-for-mastering-change-6th-international-symposium-isola-2014-imperial-corfu-greece-october-8-11-2014-proceedings-part-i-theoretical-computer-science-and&class=scaled&v=1575752119)
![Cover for Tiziana Margaria · Leveraging Applications of Formal Methods, Verification and Validation: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I - Theoretical Computer Science and General Issues (Paperback Bog) [2012 edition] (2012)](https://imusic.b-cdn.net/images/item/original/253/9783642340253.jpg?tiziana-margaria-2012-leveraging-applications-of-formal-methods-verification-and-validation-5th-international-symposium-isola-2012-heraklion-crete-greece-october-15-18-2012-proceedings-part-i-theoretical-computer-science-and-general-issues-paperback-bog&class=scaled&v=1575752119)
![Cover for Tiziana Margaria · Leveraging Applications of Formal Methods, Verification and Validation: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II - Theoretical Computer Science and General Issues (Paperback Bog) [2012 edition] (2012)](https://imusic.b-cdn.net/images/item/original/314/9783642340314.jpg?tiziana-margaria-2012-leveraging-applications-of-formal-methods-verification-and-validation-5th-international-symposium-isola-2012-heraklion-crete-greece-october-15-18-2012-proceedings-part-ii-theoretical-computer-science-and-general-issues-paperback-bog&class=scaled&v=1575752118)
![Cover for Tiziana Margaria · Leveraging Applications of Formal Methods, Verification and Validation: Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings - Communications in Computer and Information Science (Paperback Bog) [2008 edition] (2008)](https://imusic.b-cdn.net/images/item/original/781/9783540884781.jpg?tiziana-margaria-2008-leveraging-applications-of-formal-methods-verification-and-validation-third-international-symposium-isola-2008-porto-sani-greece-october-13-15-2008-proceedings-communications-in-computer-and-information-science-paperback-bog&class=scaled&v=1575752118)
