Computer Aided Verification: 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part I (Lecture Notes in Computer Science, 13371, Band 13371)

Gesponsert
42.99 EUR
Preis aktualisiert am: 10-11-2026 15:08:23
Gesponsert
SpringerLink DE
47.19 EUR
Preis aktualisiert am: 09-11-2026 12:14:48

Allgemein

Marke
Sharon Shoham

Eigenschaften

Menü