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: 24-08-2026 09:49:57
Siehe Produktangebot

Gesponsert Computer Aided Verification, Fachbücher von Roderick Bloem, Armin Biere

106.99 EUR
Preis aktualisiert am: 23-08-2026 04:22:31
Siehe Produktangebot

Gesponsert Computer Aided Verification

109.99 EUR
Preis aktualisiert am: 24-08-2026 13:00:49
Siehe Produktangebot
Bezeichner
MPN Armin Biere 205 black & white illustrations, biograp
ISBN Armin Biere 3319088661
Abmessungen / Gewicht
Hauptmerkmale
Armin Biere