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

Teilen:
Gesponsert

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

SpringerLink DE
177.00 EUR
03-08-2026 02:59:45

Ähnliche Produkte

Automated Trading with R

Automated Trading with R

58.64 EUR
The Governance of Smart Transportation Systems

The Governance of Smart Transportation Systems

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

160.49 EUR
Advances in Automated Valuation Modeling: AVM After the Non-Agency Mortgage Crisis

Advances in Automated Valuation Modeling: AVM After the Non-Agency Mortgage Crisis

189.00 EUR