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

Gesponsert  Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen

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

42.79 EUR
Preis aktualisiert am: 26-04-2026 13:11:02
Siehe Produktangebot

Gesponsert Computer Aided Verification

42.79 EUR
Preis aktualisiert am: 26-04-2026 16:11:59
Siehe Produktangebot
Bezeichner
Abmessungen / Gewicht
Hauptmerkmale
Constantin Enea