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)

• Shops
• Eigenschaften
• Isil Dillig
• Ä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: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II (Lecture Notes in Computer Science, Band 11562)

53.49 EUR

Preis aktualisiert am: 29-08-2026 03:12:46

Siehe Produktangebot

SpringerLink DE

+ Informationen zu SpringerLink DE

Gesponsert Computer Aided Verification

54.99 EUR

Preis aktualisiert am: 29-08-2026 09:35:09

Siehe Produktangebot

Bezeichner
ISBN	Isil Dillig 3030255425
Abmessungen / Gewicht
Hauptmerkmale

Isil Dillig

Computer Aided Verification

Produkt anzeigen

Computer Aided Verification

Produkt anzeigen

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)

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 of Coordinating Processes: The Automata-Theoretic Approach (Princeton Legacy Library)

Produkt anzeigen

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

Produkt anzeigen