Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part II (Lecture Notes in Computer Science, 13965, Band 13965)

Gesponsert
41.45 EUR
Preis aktualisiert am: 01-11-2026 07:50:43
Gesponsert
SpringerLink DE
42.79 EUR
Preis aktualisiert am: 28-10-2026 06:14:14
Gesponsert
42.99 EUR
Preis aktualisiert am: 29-10-2026 01:34:19

Allgemein

Marke
Constantin Enea

Eigenschaften

Menü