Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers | DealShopping Deutschland
  1. Home
  2. Medien
  3. Bücher
  4. Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
  • #
  • #

Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers

177.00 EUR 160.49 EUR 9% Off

Teilen:

Ähnliche Produkte

Automated Trading with R

Automated Trading with R

58.64 EUR
An Economic Analysis on Automated Construction Safety

An Economic Analysis on Automated Construction Safety

139.09 EUR
Automated Technology for Verification and Analysis

Automated Technology for Verification and Analysis

53.49 EUR
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers

Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers

160.49 EUR
Validation and Verification of Automated Systems: Results of the ENABLE-S3 Project

Validation and Verification of Automated Systems: Results of the ENABLE-S3 Project

116.47 EUR
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers

Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers

141.50 EUR