
Fortæl dine venner om denne vare:
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I - Theoretical Computer Science and General Issues 1st ed. 2016 edition
Pris
DKK 861
Bestilles fra fjernlager
Forventes klar til forsendelse 16. - 22. sep.
Tilføj til din iMusic ønskeseddel
Eller
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I - Theoretical Computer Science and General Issues 1st ed. 2016 edition
974 pages, 256 black & white illustrations, biography
Medie | Bøger Paperback Bog (Bog med blødt omslag og limet ryg) |
Udgivet | 6. oktober 2016 |
ISBN13 | 9783319471655 |
Forlag | Springer International Publishing AG |
Antal sider | 974 |
Mål | 155 × 235 × 50 mm · 1,37 kg |
Sprog | Tysk |
Klipper/redaktør | Margaria, Tiziana |
Klipper/redaktør | Steffen, Bernhard |