Computer Aided Verification

Wo zu kaufen (3) Eigenschaften
Gesponsert
Computer Aided Verification: 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part I (Lecture Notes in Computer Science, 15931, Band 15931)
Medimops DE
42.79 EUR
Preis aktualisiert am: 09-11-2026 16:00:49
Siehe Produktangebot
Gesponsert
Computer Aided Verification
Hugendubel
42.99 EUR
Preis aktualisiert am: 10-11-2026 17:04:37
Siehe Produktangebot
Gesponsert
Computer Aided Verification
SpringerLink DE
43.99 EUR
Preis aktualisiert am: 12-11-2026 00:26:06
Siehe Produktangebot

Allgemein

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ü