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øker - Springer International Publishing AG - 9783319471655 - 6. oktober 2016
Ved uoverensstemmelse mellom cover og tittel gjelder tittel

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
NOK 1.089

Bestillingsvarer

Forventes levert 29. okt - 6. nov

Kundene våre sier:

14 dages returrett
Toppvurdering på Trustpilot
Legg til iMusic ønskeliste
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

Media Bøker     Pocketbok   (Bok med mykt omslag og limt rygg)
Utgitt 6. oktober 2016
ISBN13 9783319471655
Utgivere Springer International Publishing AG
Antall sider 974
Mål 155 × 235 × 50 mm   ·   1,37 kg
Språk Tysk  
Redaktør Margaria, Tiziana
Redaktør Steffen, Bernhard