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

Computer Aided Verification

118.00 EUR 105.94 EUR 10% Off

Eine Sammlung aktueller Forschungsergebnisse aus der 26. Internationalen Konferenz Computer Aided Verification, die neue Techniken zur formalen Analyse komplexer Softwaresysteme beleuchtet und praxisnahe Anwendungen für Entwickler bietet.

Teilen:

Ähnliche Produkte

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

Computer Aided Verification

42.79 EUR
Computer Aided Verification

Computer Aided Verification

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

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

67.20 EUR
Computer-Aided CMM Inspection Planning and Verification: Theory and Applications

Computer-Aided CMM Inspection Planning and Verification: Theory and Applications

68.00 EUR