Computer Aided | DealShopping Deutschland
  1. Home
  2. Medien
  3. Bücher
  4. Computer Aided Verification
  • #

Computer Aided Verification

53.49 EUR

Ein Fachbuch aus der 23. Internationalen Konferenz zur Computer‑Aided Verification in Snowbird (Juli 2011), das neueste Methoden der formalen Verifikation, Modellprüfung und automatisierten Analyse zusammenfasst.

Teilen:
Gesponsert

Computer Aided Verification

Hugendubel
53.49 EUR
12-06-2026 03:58:56
Gesponsert

Computer Aided Verification

SpringerLink DE
53.49 EUR
11-06-2026 23:44:06

Ähnliche Produkte

Computer Aided Verification: 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings

Computer Aided Verification: 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings

53.49 EUR
Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I (Lecture Notes in Computer Science)

Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I (Lecture Notes in Computer Science)

52.74 EUR
Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II

Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II

53.49 EUR
Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II

Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II

53.49 EUR
Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I

Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I

53.49 EUR
Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach

Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach

45.00 EUR