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 - - Kirjat - Springer International Publishing AG - 9783319471655 - torstai 6. lokakuuta 2016
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

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

Hinta
€ 101,49

Tilattu etävarastosta

Arvioitu toimitus ti - ke 16. - 24. syys

Asiakkaamme sanovat:

14 päivän palautusoikeus
Huippuarvosana Trustpilotissa
Lisää iMusic-toivelistallesi
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 Kirjat     Paperback Book   (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä torstai 6. lokakuuta 2016
ISBN13 9783319471655
Tuottaja Springer International Publishing AG
Sivujen määrä 974
Mitta 155 × 235 × 50 mm   ·   1,37 kg
Kieli German  
Toimittaja Margaria, Tiziana
Toimittaja Steffen, Bernhard