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: 29-08-2026 14:56:26
53.49 EUR
Preis aktualisiert am: 29-08-2026 14:56:26 
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: 29-08-2026 17:42:06
53.49 EUR
Preis aktualisiert am: 29-08-2026 17:42:06 | Bezeichner | |
|---|---|
| ISBN | Isil Dillig 3030255425 |
| Abmessungen / Gewicht | |
| Hauptmerkmale | |
Isil Dillig
