Automated Technology for Verification and Analysis
Automated Technology for Verification and Analysis
Buch
- 21st International Symposium, ATVA 2023, Singapore, October 24¿27, 2023, Proceedings, Part II
- Herausgeber: Jun Sun, Étienne André
- Springer Nature Switzerland, 10/2023
- Einband: Kartoniert / Broschiert, Paperback
- Sprache: Englisch
- ISBN-13: 9783031453311
- Bestellnummer: 11631706
- Umfang: 348 Seiten
- Nummer der Auflage: 23001
- Auflage: 1st ed. 2023
- Gewicht: 528 g
- Maße: 235 x 155 mm
- Stärke: 19 mm
- Erscheinungstermin: 19.10.2023
- Serie: Lecture Notes in Computer Science - Band 14216
Achtung: Artikel ist nicht in deutscher Sprache!