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: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II (Lecture Notes in Computer Science, Band 12225)
42.79 EUR
Preis aktualisiert am: 21-05-2026 19:17:30
42.79 EUR
Preis aktualisiert am: 21-05-2026 19:17:30 
SpringerLink DE
Gesponsert Computer Aided Verification
42.79 EUR
Preis aktualisiert am: 21-05-2026 13:06:38
42.79 EUR
Preis aktualisiert am: 21-05-2026 13:06:38 
Galaxus.de
Gesponsert Computer Aided Verification, Fachbücher von Chao Wang, Shuvendu K. Lahiri
42.79 EUR
Preis aktualisiert am: 21-05-2026 08:10:10
42.79 EUR
Preis aktualisiert am: 21-05-2026 08:10:10 | Bezeichner | |
|---|---|
| Abmessungen / Gewicht | |
| Hauptmerkmale |
Lahiri, Shuvendu K.
