Automated Technology for Verification and Analysis: 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18–22, 2021, Proceedings - Lecture Notes in Computer Science - - Kirjat - Springer Nature Switzerland AG - 9783030888848 - torstai 14. lokakuuta 2021
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

Automated Technology for Verification and Analysis: 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18–22, 2021, Proceedings - Lecture Notes in Computer Science 1st ed. 2021 edition

Hinta
R 1.458,60

Tilattu etävarastosta

Arvioitu toimitus ma 13. - 20. loka

Asiakkaamme sanovat:

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

Automated Technology for Verification and Analysis: 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18–22, 2021, Proceedings - Lecture Notes in Computer Science 1st ed. 2021 edition

This book constitutes the refereed proceedings of the 19th International Symposium on Automated Technology for Verification and Analysis, ATVA 2021, held in Gold Coast, Australia in October 2021.

382 pages, 49 Illustrations, color; 54 Illustrations, black and white; XV, 382 p. 103 illus., 49 ill

Media Kirjat     Paperback Book   (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä torstai 14. lokakuuta 2021
ISBN13 9783030888848
Tuottaja Springer Nature Switzerland AG
Sivujen määrä 382
Mitta 156 × 233 × 27 mm   ·   612 g
Kieli German  
Toimittaja Ganesh, Vijay
Toimittaja Hou, Zhe