Computer-aided Verification: A Special Issue of Formal Methods In System Design on Computer-Aided Verification

Computer-Aided Verification
Wo zu kaufen (3) Eigenschaften
Gesponsert
Computer-aided Verification: A Special Issue of Formal Methods In System Design on Computer-Aided Verification
Medimops DE
149.84 EUR
Preis aktualisiert am: 20-10-2026 08:49:15
Siehe Produktangebot
Gesponsert
Computer-Aided Verification
SpringerLink DE
160.49 EUR
Preis aktualisiert am: 20-10-2026 23:24:31
Siehe Produktangebot
Gesponsert
Computer-Aided Verification
Hugendubel
160.49 EUR
Preis aktualisiert am: 20-10-2026 22:08:04
Siehe Produktangebot

Allgemein

Marke
Springer US
ISBN
Springer US 1461365791
MPN
Springer US biography

Eigenschaften

Ähnliche Produkte

Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part II (Lecture Notes in Computer Science, 13965, Band 13965)
Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part II (Lecture Notes in Computer Science, 13965, Band 13965)
Aus39.98 EUR 5
Produkt anzeigen
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: 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: 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings (Lecture Notes in Computer Science)
Computer Aided Verification: 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings (Lecture Notes in Computer Science)
Aus98.04 EUR 4
Produkt anzeigen
Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I (Lecture Notes in Computer Science, 12759, Band 12759)
Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I (Lecture Notes in Computer Science, 12759, Band 12759)
Aus42.79 EUR 3
Produkt anzeigen
Menü