Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY | DealShopping Deutschland
  1. Home
  2. Medien
  3. Bücher
  4. 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

Teilen:
Gesponsert

Computer Aided Verification

Hugendubel
53.49 EUR
25-09-2026 05:38:08
Gesponsert

Computer Aided Verification, Fachbücher von Isil Dillig, Serdar Tasiran

Galaxus.de
53.49 EUR
29-09-2026 15:40:43
Gesponsert

Computer Aided Verification

SpringerLink DE
53.49 EUR
29-09-2026 16:51:53
Gesponsert

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)

Medimops DE
53.49 EUR
29-09-2026 07:33:49

Ähnliche Produkte

Computer Aided Verification

Computer Aided Verification

105.94 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

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

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

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

67.99 EUR