Tell your friends about this item:
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é
Price
CA$ 117.49
excl. VAT
Ordered from remote warehouse
Expected delivery Jul 11 - 23
Our customers say:
Add to your iMusic wish list
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 | Books Paperback Book (Book with soft cover and glued back) |
| Released | October 22, 2023 |
| ISBN13 | 9783031453281 |
| Publishers | Springer International Publishing AG |
| Pages | 446 |
| Dimensions | 644 g |
| Language | English |
| Editor | Andre, Etienne |
| Editor | Sun, Jun |
