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

Computer Aided Verification

54.99 EUR 53.49 EUR 3% Off

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:

Ähnliche Produkte

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: 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: 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

67.20 EUR