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: 16-05-2026 20:16:20
52.94 EUR
Preis aktualisiert am: 16-05-2026 20:16:20 
SpringerLink DE
Gesponsert Verified Software: Theories, Tools, and Experiments
53.49 EUR
Preis aktualisiert am: 16-05-2026 18:27:40
53.49 EUR
Preis aktualisiert am: 16-05-2026 18:27:40 
Galaxus.de
Gesponsert Verified Software: Theories, Tools, and Experiments, Fachbücher von Arie Gurfinkel, Sanjit A. Seshia
53.49 EUR
Preis aktualisiert am: 16-05-2026 20:04:58
53.49 EUR
Preis aktualisiert am: 16-05-2026 20:04:58 | Bezeichner | |
|---|---|
| ISBN | Arie Gurfinkel 3319296124 |
| MPN | Arie Gurfinkel 41 black & white illustrations, biograph |
| Abmessungen / Gewicht | |
| Hauptmerkmale | |
Arie Gurfinkel
