Model Checking Software: 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings
Gesponsert Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen
Galaxus.de
Gesponsert Model Checking Software, Fachbücher von Ezio Bartocci, C. R. Ramakrishnan
53.49 EUR
Preis aktualisiert am: 29-07-2026 01:29:49
53.49 EUR
Preis aktualisiert am: 29-07-2026 01:29:49 
SpringerLink DE
Gesponsert Model Checking Software
59.00 EUR
Preis aktualisiert am: 07-09-2026 11:13:42
59.00 EUR
Preis aktualisiert am: 07-09-2026 11:13:42 | Bezeichner | |
|---|---|
| ISBN | 3642391753 |
| Abmessungen / Gewicht | |
| Hauptmerkmale | |
