Abbildung von: Formale Modelle der Softwareentwicklung - Vieweg+Teubner Verlag

Formale Modelle der Softwareentwicklung

Model-Checking, Verifikation, Analyse und Simulation
Stephan Kleuker(Autor*in)
Vieweg+Teubner Verlag
Erschienen am 22. Oktober 2009
X, 301 Seiten
E-Book
PDF mit Wasserzeichen-DRM
978-3-8348-9595-0 (ISBN)
14,99 €inkl. 7% MwSt.
Systemvoraussetzungen
für PDF mit Wasserzeichen-DRM
E-Book Einzellizenz
Als Download verfügbar

Beschreibung

Weitere Details

Weitere Ausgaben

Person

Inhalt

Systemvoraussetzungen