Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach | DealShopping Deutschland
  1. Home
  2. Medien
  3. Bücher
  4. Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach
  • #

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

70.99 EUR 67.20 EUR 5% Off

Ein umfassendes Fachbuch über die formale Verifikation von Koordinationsprozessen, das Automata-Theorie einsetzt, um Interaktionsfehler systematisch zu erkennen und zu beheben.

Teilen:

Ähnliche Produkte

Computer Aided Verification

Computer Aided Verification

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

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

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

172.00 EUR