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

Computer-Aided Verification
Wo zu kaufen (2) 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: 04-05-2026 16:08:08
Siehe Produktangebot
Gesponsert
Computer-Aided Verification
SpringerLink DE
160.49 EUR
Preis aktualisiert am: 04-05-2026 13:02:06
Siehe Produktangebot

Allgemein

Marke
Springer US
ISBN
Springer US 1461365791
MPN
Springer US biography

Eigenschaften

Ähnliche Produkte

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)
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)
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)
Produkt anzeigen
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)
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)
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)
Produkt anzeigen
Menü