Tipsa dina vänner om produkten:
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 2012 edition
Tiziana Margaria
Pris
£ 54,49
Beställningsvara
Förväntad leverans 25 jun - 5 jul
Lägg till din iMusic-önskelista
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 2012 edition
Tiziana Margaria
Constitutes the thoroughly refereed proceedings of the 5th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, held in Heraklion, Crete, Greece, in October 2012.
636 pages, 170 black & white illustrations, biography
| Media | Böcker Pocketbok (Bok med mjukt omslag och limmad rygg) |
| Releasedatum | 11 september 2012 |
| ISBN13 | 9783642340253 |
| Utgivare | Springer-Verlag Berlin and Heidelberg Gm |
| Genre | Aspects (Academic) > Science / Technology Aspects |
| Antal sidor | 617 |
| Mått | 155 × 235 × 32 mm · 816 g |
| Redaktör | Margaria, Tiziana |
| Redaktör | Steffen, Bernhard |
![Cover for Tiziana Margaria · 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 (Pocketbok) [2014 edition] (2014)](https://imusic.b-cdn.net/images/item/original/301/9783662452301.jpg?tiziana-margaria-2014-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-scie&class=scaled&v=1473529702)
![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 (Pocketbok) [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 II - Theoretical Computer Science and General Issues (Pocketbok) [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-pocketbok&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 (Pocketbok) [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-pocketbok&class=scaled&v=1575752118)
