Verification, Model Checking, and Abstract Interpretation: 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16–21, 2020, Proceedings - Lecture Notes in Computer Science - - Kirjat - Springer Nature Switzerland AG - 9783030393212 - perjantai 7. helmikuuta 2020
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

Verification, Model Checking, and Abstract Interpretation: 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16–21, 2020, Proceedings - Lecture Notes in Computer Science 2020 edition

Hinta
A$ 135,29

Tilattu etävarastosta

Arvioitu toimitus pe 24. - 31. loka

Asiakkaamme sanovat:

14 päivän palautusoikeus
Huippuarvosana Trustpilotissa
Lisää iMusic-toivelistallesi
tai

Verification, Model Checking, and Abstract Interpretation: 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16–21, 2020, Proceedings - Lecture Notes in Computer Science 2020 edition

This book constitutes the proceedings of the 21st International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2020.

471 pages, 63 Illustrations, color; 918 Illustrations, black and white; XIV, 471 p. 981 illus., 63 i

Media Kirjat     Paperback Book   (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä perjantai 7. helmikuuta 2020
ISBN13 9783030393212
Tuottaja Springer Nature Switzerland AG
Sivujen määrä 471
Mitta 234 × 155 × 29 mm   ·   744 g
Kieli German  
Toimittaja Beyer, Dirk, Ph. D.
Toimittaja Zufferey, Damien