Fortæl dine venner om denne vare:
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é
Pris
zł 397,90
Bestilles fra fjernlager
Forventes klar til forsendelse 8. - 14. jul.
Tilføj til din iMusic ønskeseddel
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
| Medie | Bøger Paperback Bog (Bog med blødt omslag og limet ryg) |
| Udgivet | 22. oktober 2023 |
| ISBN13 | 9783031453281 |
| Forlag | Springer International Publishing AG |
| Antal sider | 446 |
| Mål | 644 g |
| Sprog | Engelsk |
| Klipper/redaktør | Andre, Etienne |
| Klipper/redaktør | Sun, Jun |
