Conte aos seus amigos sobre este item:
Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II - Theoretical Computer Science and General Iss
Tiziana Margaria
Presentes de Natal podem ser trocados até 31 de janeiro
O que dizem nossos clientes:
Adicione à sua lista de desejos do iMusic
Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II - Theoretical Computer Science and General Iss
Tiziana Margaria
Constitutes the refereed proceedings of the 4th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2010, held in Heraklion, Crete, Greece, in October 2010.
498 pages, 157 black & white illustrations, biography
| Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
| Lançado | 19 de outubro de 2010 |
| ISBN13 | 9783642165603 |
| Editoras | Springer-Verlag Berlin and Heidelberg Gm |
| Páginas | 498 |
| Dimensões | 155 × 231 × 20 mm · 739 g |
| Idioma | Francês |
| Editor | Margaria, Tiziana |
| Editor | 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 (Paperback Book) [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 (Paperback Book) [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 - Lecture Notes in Computer Science (Paperback Book) [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-lecture-notes-in-computer-science-paperback-book&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 Book) [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-book&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 Book) [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-book&class=scaled&v=1575752118)
