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

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 04:11:48

Allgemein

Marke
Constantin Enea

Eigenschaften

Menü