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

160.49 EUR

Teilen:

Ähnliche Produkte

An Economic Analysis on Automated Construction Safety

An Economic Analysis on Automated Construction Safety

139.09 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 Trading with R

Automated Trading with R

72.85 EUR
Automated Technology for Verification and Analysis

Automated Technology for Verification and Analysis

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

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

141.50 EUR