Vertel uw vrienden over dit artikel:
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é 1st ed. 2023 edition
Prijs
€ 78,99
Besteld in een afgelegen magazijn
Verwachte levering 9 - 19 jan. 2026
Kerstcadeautjes kunnen tot en met 31 januari worden ingewisseld
Onze klanten zeggen:
Voeg toe aan uw iMusic-verlanglijst
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é
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 | Boeken Paperback Book (Boek met zachte kaft en gelijmde rug) |
| Vrijgegeven | 22 oktober 2023 |
| ISBN13 | 9783031453281 |
| Uitgevers | Springer International Publishing AG |
| Pagina's | 446 |
| Afmetingen | 150 × 220 × 10 mm · 644 g |
| Taal en grammatica | Engels |
| Uitgever | Andre, Etienne |
| Uitgever | Sun, Jun |
Meer door Étienne André
Alles tonen
Bekijk alles van Étienne André ( bijv. Hardcover Book en Paperback Book )