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)

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

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: 27-04-2026 03:29:08
Siehe Produktangebot

Gesponsert Computer Aided Verification

53.49 EUR
Preis aktualisiert am: 26-04-2026 16:06:23
Siehe Produktangebot

Gesponsert Computer Aided Verification, Fachbücher von Serdar Tasiran, Isil Dillig

53.49 EUR
Preis aktualisiert am: 26-04-2026 21:52:40
Siehe Produktangebot
Bezeichner
ISBN Isil Dillig 3030255425
Abmessungen / Gewicht
Hauptmerkmale
Isil Dillig