Fortell venner om denne varen:
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
Íkr 10.649
Bestillingsvarer
Forventes levert 9. - 17. jul
Legg til iMusic ønskeliste
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 | Bøker Pocketbok (Bok med mykt omslag og limt rygg) |
| Utgitt | 22. oktober 2023 |
| ISBN13 | 9783031453281 |
| Utgivere | Springer International Publishing AG |
| Antall sider | 446 |
| Mål | 644 g |
| Språk | Engelsk |
| Redaktør | Andre, Etienne |
| Redaktør | Sun, Jun |
