Computer Aided Verification: 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July ... Notes in Computer Science, 8559, Band 8559)
Gesponsert Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen
Gesponsert Computer Aided Verification: 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July ... Notes in Computer Science, 8559, Band 8559)
105.94 EUR
Preis aktualisiert am: 26-08-2026 05:57:10
105.94 EUR
Preis aktualisiert am: 26-08-2026 05:57:10 
SpringerLink DE
Gesponsert Computer Aided Verification
106.99 EUR
Preis aktualisiert am: 25-08-2026 22:42:01
106.99 EUR
Preis aktualisiert am: 25-08-2026 22:42:01 | Bezeichner | |
|---|---|
| MPN | Armin Biere 205 black & white illustrations, biograp |
| ISBN | Armin Biere 3319088661 |
| Abmessungen / Gewicht | |
| Hauptmerkmale | |
Armin Biere
