Vinkkaa tuotetta kavereillesi:
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
£ 69,99
Tilattu etävarastosta
Arvioitu toimitus ke - to 9. - 17. heinä
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
Étienne André
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 )