Abbildung von: Systems and Software Verification - Springer

Systems and Software Verification

Model-Checking Techniques and Tools
Erschienen am 17. April 2013
XII, 190 Seiten
E-Book
PDF mit Wasserzeichen-DRM
978-3-662-04558-9 (ISBN)
139,09 €inkl. 7% MwSt.
Systemvoraussetzungen
für PDF mit Wasserzeichen-DRM
E-Book Einzellizenz
Als Download verfügbar

Beschreibung

Weitere Details

Weitere Ausgaben

Personen

Inhalt

Systemvoraussetzungen