Computer Aided Verification
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 III (Lecture Notes in Computer Science, 13966, Band 13966)
42.79 EUR
Preis aktualisiert am: 19-08-2026 11:41:09
42.79 EUR
Preis aktualisiert am: 19-08-2026 11:41:09
Gesponsert Computer Aided Verification
43.99 EUR
Preis aktualisiert am: 19-08-2026 16:28:02
43.99 EUR
Preis aktualisiert am: 19-08-2026 16:28:02 | Bezeichner | |
|---|---|
| Abmessungen / Gewicht | |
| Hauptmerkmale |
Constantin Enea






