Computer Aided Verification: 6th International Conference, CAV '94, Stanford, California, USA, June 21-23, 1994. Proceedings (Lecture Notes in Computer Science, 818, Band 818)

Wo zu kaufen (3) Eigenschaften
Gesponsert
Computer Aided Verification: 6th International Conference, CAV '94, Stanford, California, USA, June 21-23, 1994. Proceedings (Lecture Notes in Computer Science, 818, Band 818)
Medimops DE
49.98 EUR
Preis aktualisiert am: 03-11-2026 11:05:52
Siehe Produktangebot
Gesponsert
Computer Aided Verification
Hugendubel
53.49 EUR
Preis aktualisiert am: 03-11-2026 20:54: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
MPN
Springer Berlin Heidelberg 1
ISBN
Springer Berlin Heidelberg 3540581790

Eigenschaften

Ähnliche Produkte

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)
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 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)
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)
Aus53.49 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: 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 of Coordinating Processes: The Automata-Theoretic Approach (Princeton Legacy Library)
Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach (Princeton Legacy Library)
Aus70.99 EUR 1
Produkt anzeigen
Menü