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é - Bücher - Springer International Publishing AG - 9783031453281 - 22. Oktober 2023
Bei Nichtübereinstimmung von Cover und Titel gilt der Titel

Étienne André
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

Preis
SFr. 69,99
exkl. MwSt.

Bestellware

Lieferdatum: ca. 8. - 16. Jan 2026
Weihnachtsgeschenke können bis zum 31. Januar umgetauscht werden

Unsere Kunden sagen:

14-Tage-Rückgaberecht
Topbewertung bei Trustpilot
Zu deiner iMusic Wunschliste hinzufügen

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

Medien Bücher     Taschenbuch   (Buch mit Softcover und geklebtem Rücken)
Erscheinungsdatum 22. Oktober 2023
ISBN13 9783031453281
Verlag Springer International Publishing AG
Seitenanzahl 446
Maße 150 × 220 × 10 mm   ·   644 g
Sprache Englisch  
Redakteur Andre, Etienne
Redakteur Sun, Jun

Weitere Titel von Étienne André

Alle anzeigen

Alle Titel von Étienne André ansehen ( u. a. Gebundenes Buch und Taschenbuch )