Abbildung von: Automated Technology for Verification and Analysis - Springer

Automated Technology for Verification and Analysis

21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part I
Étienne AndréJun Sun(Herausgeber*in)
Springer (Verlag)
Erschienen am 21. Oktober 2023
XVI, 446 Seiten
E-Book
PDF mit Wasserzeichen-DRM
978-3-031-45329-8 (ISBN)
85,59 €inkl. 7% MwSt.
Systemvoraussetzungen
für PDF mit Wasserzeichen-DRM
E-Book Einzellizenz
Als Download verfügbar

Beschreibung

Weitere Details

Weitere Ausgaben

Inhalt

Systemvoraussetzungen