Automated Technology for Verification and Analysis: 21st International Symposium, ATVA 2023, Singapore, October 24–27, 2023, Proceedings, Part I - Lecture Notes in Computer Science - Étienne André - Kirjat - Springer International Publishing AG - 9783031453281 - sunnuntai 22. lokakuuta 2023
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

Automated Technology for Verification and Analysis: 21st International Symposium, ATVA 2023, Singapore, October 24–27, 2023, Proceedings, Part I - Lecture Notes in Computer Science 1st ed. 2023 edition

Étienne André

Hinta
Íkr 11.713,90

Tilattu etävarastosta

Arvioitu toimitus ke - to 9. - 17. heinä

Asiakkaamme sanovat:

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

Automated Technology for Verification and Analysis: 21st International Symposium, ATVA 2023, Singapore, October 24–27, 2023, Proceedings, Part I - Lecture Notes in Computer Science 1st ed. 2023 edition

This book constitutes the refereed proceedings of the 21st International Symposium on Automated Technology for Verification and Analysis, ATVA 2023, held in Singapore, in October 2023.

446 pages, 47 Illustrations, color; 38 Illustrations, black and white; XVI, 446 p. 85 illus., 47 ill

Media Kirjat     Paperback Book   (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä sunnuntai 22. lokakuuta 2023
ISBN13 9783031453281
Tuottaja Springer International Publishing AG
Sivujen määrä 446
Mitta 644 g
Kieli English  
Toimittaja Andre, Etienne
Toimittaja Sun, Jun
Näytä kaikki

Lisää tuotteita Étienne André

Katso kaikki joka sisältää Étienne André ( Esim. Hardcover Book Ja Paperback Book )