Computer Aided Verification: 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II (Lecture Notes in Computer Science)

Ein wissenschaftliches Sammelwerk der 28. Internationalen Konferenz zur Computer‑Aided Verification in Toronto, das neueste Erkenntnisse zu formalen ...
Computer Aided Verification
Wo zu kaufen (4) Eigenschaften
Gesponsert
Computer Aided Verification
Hugendubel
53.49 EUR
Preis aktualisiert am: 03-11-2026 14:18:57
Siehe Produktangebot
Gesponsert
Computer Aided Verification, Fachbücher von Swarat Chaudhuri, Azadeh Farzan
Galaxus.de
53.49 EUR
Preis aktualisiert am: 29-10-2026 14:25:42
Siehe Produktangebot
Gesponsert
Computer Aided Verification: 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II (Lecture Notes in Computer Science)
Medimops DE
53.49 EUR
Preis aktualisiert am: 02-11-2026 22:49:59
Siehe Produktangebot
Gesponsert
Computer Aided Verification
SpringerLink DE
59.00 EUR
Preis aktualisiert am: 03-11-2026 17:51:09
Siehe Produktangebot

Allgemein

Marke
Swarat Chaudhuri
ISBN
Swarat Chaudhuri 9783319415390

Eigenschaften

Ähnliche Produkte

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)
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: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II (Lecture Notes in Computer Science)
Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II (Lecture Notes in Computer Science)
Aus53.49 EUR 4
Produkt anzeigen
Computer Aided Verification: 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I (Lecture Notes in Computer Science)
Computer Aided Verification: 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I (Lecture Notes in Computer Science)
Aus53.49 EUR 4
Produkt anzeigen
Computer Aided Verification: 3rd International Workshop, CAV '91, Aalborg, Denmark, July 1-4, 1991. Proceedings (Lecture Notes in Computer Science, 575, Band 575)
Computer Aided Verification: 3rd International Workshop, CAV '91, Aalborg, Denmark, July 1-4, 1991. Proceedings (Lecture Notes in Computer Science, 575, Band 575)
Aus53.49 EUR 3
Produkt anzeigen
Computer-Aided Verification: 2nd Internatonal Conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990. Proceedings (Lecture Notes in Computer Science, 531, Band 531)
Computer-Aided Verification: 2nd Internatonal Conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990. Proceedings (Lecture Notes in Computer Science, 531, Band 531)
Aus53.49 EUR 3
Produkt anzeigen
Computer Aided Verification: 9th International Conference, CAV'97, Haifa, Israel, June 22-25, 1997, Proceedings (Lecture Notes in Computer Science, 1254, Band 1254)
Computer Aided Verification: 9th International Conference, CAV'97, Haifa, Israel, June 22-25, 1997, Proceedings (Lecture Notes in Computer Science, 1254, Band 1254)
Aus53.49 EUR 3
Produkt anzeigen
Menü