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
53.49 EUR
Preis aktualisiert am: 29-10-2026 09:47:43
Gesponsert
53.49 EUR
Preis aktualisiert am: 29-10-2026 14:43:34
Gesponsert
SpringerLink DE
66.68 EUR
Preis aktualisiert am: 28-10-2026 06:13:20

Allgemein

Marke
Isil Dillig
ISBN
Isil Dillig 3030255425

Eigenschaften

Menü