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)

• Shops
• Eigenschaften
• Armin Biere
• Ähnliche Produkte

Gesponsert  Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen

+ Informationen zu Medimops DE

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: 25-08-2026 00:11:28

Siehe Produktangebot

SpringerLink DE

+ Informationen zu SpringerLink DE

Gesponsert Computer Aided Verification

109.99 EUR

Preis aktualisiert am: 25-08-2026 03:42:15

Siehe Produktangebot

Bezeichner
MPN	Armin Biere 205 black & white illustrations, biograp
ISBN	Armin Biere 3319088661
Abmessungen / Gewicht
Hauptmerkmale

Armin Biere

Computer Aided Verification

Produkt anzeigen

Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II (Lecture Notes in Computer Science, Band 11562)

Produkt anzeigen

Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I (Lecture Notes in Computer Science, Band 11561)

Produkt anzeigen

Computer Aided Verification

Produkt anzeigen

Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach (Princeton Legacy Library)

Produkt anzeigen

Computer-Aided CMM Inspection Planning and Verification: Theory and Applications

Produkt anzeigen