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

Automated Validation Verification of UML/OCL
Wo zu kaufen (3) Eigenschaften
Gesponsert
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
Hugendubel
160.49 EUR
Preis aktualisiert am: 28-09-2026 03:33:34
Siehe Produktangebot
Gesponsert
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers, Fachbücher von Robert Wille, Judith Przigoda, Nils Przigoda
Galaxus.de
160.49 EUR
Preis aktualisiert am: 30-09-2026 06:16:00
Siehe Produktangebot
Gesponsert
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
SpringerLink DE
160.49 EUR
Preis aktualisiert am: 01-10-2026 13:45:53
Siehe Produktangebot

Allgemein

Marke
Springer

Eigenschaften

Ähnliche Produkte

Automated Trading with R: Quantitative Research and Platform Development
Automated Trading with R: Quantitative Research and Platform Development
Aus69.96 EUR 5
Produkt anzeigen
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
Aus117.69 EUR 2
Produkt anzeigen
An Economic Analysis on Automated Construction Safety
An Economic Analysis on Automated Construction Safety
Aus138.99 EUR 3
Produkt anzeigen
Automated Technology for Verification and Analysis
Automated Technology for Verification and Analysis
Aus53.49 EUR 3
Produkt anzeigen
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
Aus160.49 EUR 2
Produkt anzeigen
Validation and Verification of Automated Systems: Results of the ENABLE-S3 Project
Validation and Verification of Automated Systems: Results of the ENABLE-S3 Project
Aus116.47 EUR 2
Produkt anzeigen
Menü