Verified Software: Theorie, Tools, Experiments: 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers (Lecture Notes in Computer Science)

Der Band der fünften VSTTE‑Konferenz bietet aktuelle Forschungsergebnisse zu formalen Methoden, Analysewerkzeugen und experimentellen Validierungen ...
Gesponsert
53.49 EUR
Preis aktualisiert am: 29-10-2026 10:43:27
Gesponsert
59.00 EUR
Preis aktualisiert am: 01-11-2026 18:29:54

Allgemein

Marke
Ernie Cohen
MPN
Ernie Cohen 83 black & white illustrations, biograph
ISBN
Ernie Cohen 9783642541070

Eigenschaften

Menü