Computer Aided Verification: 5th International Conference, CAV'93, Elounda, Greece, June 28 - July 1, 1993. Proceedings (Lecture Notes in Computer Science, 697, Band 697)

Computer Aided Verification
Wo zu kaufen (3) Eigenschaften
Gesponsert
Computer Aided Verification
Hugendubel
53.49 EUR
Preis aktualisiert am: 04-11-2026 00:08:41
Siehe Produktangebot
Gesponsert
Computer Aided Verification: 5th International Conference, CAV'93, Elounda, Greece, June 28 - July 1, 1993. Proceedings (Lecture Notes in Computer Science, 697, Band 697)
Medimops DE
53.49 EUR
Preis aktualisiert am: 03-11-2026 11:05:51
Siehe Produktangebot
Gesponsert
Computer Aided Verification
SpringerLink DE
59.00 EUR
Preis aktualisiert am: 03-11-2026 17:47:27
Siehe Produktangebot

Allgemein

Marke
Springer Berlin Heidelberg
ISBN
Springer Berlin Heidelberg 3540569227
MPN
Springer Berlin Heidelberg 6902231

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: 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings (Lecture Notes in Computer Science, 2404, Band 2404)
Computer Aided Verification: 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings (Lecture Notes in Computer Science, 2404, Band 2404)
Aus106.99 EUR 3
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
Computer Aided Verification: 11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999, Proceedings (Lecture Notes in Computer Science, 1633, Band 1633)
Computer Aided Verification: 11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999, Proceedings (Lecture Notes in Computer Science, 1633, Band 1633)
Aus53.49 EUR 3
Produkt anzeigen
Menü