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)

Wo zu kaufen (4) Eigenschaften

Gesponsert

Computer Aided Verification

Hugendubel

53.49 EUR

Preis aktualisiert am: 03-11-2026 23:25:45

Siehe Produktangebot

Gesponsert

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

Galaxus.de

53.49 EUR

Preis aktualisiert am: 29-10-2026 14:43:34

Siehe Produktangebot

Gesponsert

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)

Medimops DE

53.49 EUR

Preis aktualisiert am: 02-11-2026 20:45:39

Siehe Produktangebot

Gesponsert

Computer Aided Verification

SpringerLink DE

66.68 EUR

Preis aktualisiert am: 03-11-2026 17:51:21

Siehe Produktangebot

Allgemein

Marke

Isil Dillig

ISBN

Isil Dillig 3030255395

Eigenschaften

Ähnliche Produkte

Computer Aided Verification

Aus38.98 EUR 4

Produkt anzeigen

Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I (Lecture Notes in Computer Science, 12759, Band 12759)

Aus42.79 EUR 4

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)

Aus105.94 EUR 4

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)

Aus53.49 EUR 4

Produkt anzeigen

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

Aus65.74 EUR 3

Produkt anzeigen

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

Aus70.99 EUR 1

Produkt anzeigen