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
Medimops DE
53.49 EUR
Preis aktualisiert am: 07-06-2026 08:19:50
Gesponsert
SpringerLink DE
53.49 EUR
Preis aktualisiert am: 07-06-2026 03:49:34
Gesponsert
Galaxus.de
53.49 EUR
Preis aktualisiert am: 07-06-2026 06:28:45
Allgemein
Marke
Ernie Cohen
MPN
Ernie Cohen 83 black & white illustrations, biograph
ISBN
Ernie Cohen 9783642541070
