Fortæl dine venner om denne vare:
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
₪ 308,75
Bestilles fra fjernlager
Forventes klar til forsendelse 14. - 22. okt.
Tilføj til din iMusic ønskeseddel
Eller
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
Medie | Bøger Paperback Bog (Bog med blødt omslag og limet ryg) |
Udgivet | 11. september 2012 |
ISBN13 | 9783642340253 |
Forlag | Springer-Verlag Berlin and Heidelberg Gm |
Genre | Aspects (Academic) > Science / Technology Aspects |
Antal sider | 617 |
Mål | 155 × 235 × 32 mm · 816 g |
Klipper/redaktør | Margaria, Tiziana |
Klipper/redaktør | Steffen, Bernhard |