Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II (Lecture Notes in Computer Science, Band 11562)
Gesponsert Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen
SpringerLink DE
Gesponsert Computer Aided Verification
53.49 EUR
Preis aktualisiert am: 31-08-2026 14:19:22
53.49 EUR
Preis aktualisiert am: 31-08-2026 14:19:22 
Gesponsert Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II (Lecture Notes in Computer Science, Band 11562)
53.49 EUR
Preis aktualisiert am: 31-08-2026 01:32:33
53.49 EUR
Preis aktualisiert am: 31-08-2026 01:32:33 | Bezeichner | |
|---|---|
| ISBN | Isil Dillig 3030255425 |
| Abmessungen / Gewicht | |
| Hauptmerkmale | |
Isil Dillig
