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: 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I (Lecture Notes in Computer Science, 12759, Band 12759)
42.79 EUR
Preis aktualisiert am: 25-04-2026 22:22:40
42.79 EUR
Preis aktualisiert am: 25-04-2026 22:22:40 
SpringerLink DE
Gesponsert Computer Aided Verification
42.79 EUR
Preis aktualisiert am: 26-04-2026 01:49:21
42.79 EUR
Preis aktualisiert am: 26-04-2026 01:49:21 
Galaxus.de
Gesponsert Computer Aided Verification, Fachbücher von Alexandra Silva, K. Rustan M. Leino
42.79 EUR
Preis aktualisiert am: 26-04-2026 01:11:41
42.79 EUR
Preis aktualisiert am: 26-04-2026 01:11:41 | Bezeichner | |
|---|---|
| Abmessungen / Gewicht | |
| Hauptmerkmale |
Alexandra Silva
