Verified Software: Theories, Tools, and Experiments
Gesponsert Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen
Gesponsert Verified Software: Theories, Tools, and Experiments: 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers (Lecture Notes in Computer Science)
52.94 EUR
Preis aktualisiert am: 21-08-2026 03:22:14
52.94 EUR
Preis aktualisiert am: 21-08-2026 03:22:14 
SpringerLink DE
Gesponsert Verified Software: Theories, Tools, and Experiments
53.49 EUR
Preis aktualisiert am: 20-08-2026 23:27:57
53.49 EUR
Preis aktualisiert am: 20-08-2026 23:27:57 | Bezeichner | |
|---|---|
| ISBN | Arie Gurfinkel 3319296124 |
| MPN | Arie Gurfinkel 41 black & white illustrations, biograph |
| Abmessungen / Gewicht | |
| Hauptmerkmale | |
Arie Gurfinkel
