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 -  - Bøger - Springer International Publishing AG - 9783319471655 - 6. oktober 2016
Ved uoverensstemmelse mellem cover og titel gælder titel

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