Computer Aided Verification: 3rd International Workshop, CAV '91, Aalborg, Denmark, July 1-4, 1991. Proceedings (Lecture Notes in Computer Science, 575, Band 575)

Ein Fachband aus dem internationalen Workshop CAV ’91 in Aalborg, der neueste Theorien zur formalen Verifikation von Softwaresystemen zusammenfasst ...
Computer Aided Verification
Wo zu kaufen (3) Eigenschaften
Gesponsert
Computer Aided Verification
Hugendubel
53.49 EUR
Preis aktualisiert am: 03-11-2026 19:39:15
Siehe Produktangebot
Gesponsert
Computer Aided Verification: 3rd International Workshop, CAV '91, Aalborg, Denmark, July 1-4, 1991. Proceedings (Lecture Notes in Computer Science, Band 575)
Medimops DE
53.49 EUR
Preis aktualisiert am: 03-11-2026 11:05:50
Siehe Produktangebot
Gesponsert
Computer Aided Verification
SpringerLink DE
59.00 EUR
Preis aktualisiert am: 03-11-2026 17:47:26
Siehe Produktangebot

Allgemein

Marke
Springer Berlin Heidelberg
MPN
Springer Berlin Heidelberg 1
ISBN
Springer Berlin Heidelberg 3540551794

Eigenschaften

Ähnliche Produkte

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: 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: 5th International Conference, CAV'93, Elounda, Greece, June 28
Computer Aided Verification: 5th International Conference, CAV'93, Elounda, Greece, June 28 - July 1, 1993. Proceedings (Lecture Notes in Computer Science, 697, Band 697)
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
Computer Aided Verification: Fourth International Workshop, CAV '92, Montreal, Canada, June 29
Computer Aided Verification: Fourth International Workshop, CAV '92, Montreal, Canada, June 29 - July 1, 1992. Proceedings (Lecture Notes in Computer Science, 663, Band 663)
Aus53.49 EUR 3
Produkt anzeigen
Computer Aided Verification: 6th International Conference, CAV '94, Stanford, California, USA, June 21-23, 1994. Proceedings (Lecture Notes in Computer Science, 818, Band 818)
Computer Aided Verification: 6th International Conference, CAV '94, Stanford, California, USA, June 21-23, 1994. Proceedings (Lecture Notes in Computer Science, 818, Band 818)
Aus49.98 EUR 3
Produkt anzeigen
Menü