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

Automated Validation Verification of UML/OCL
Wo zu kaufen (1) Eigenschaften
Gesponsert
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers, Fachbücher von Robert Wille, Rolf Drechsler, Judith Przigoda, Nils Przigoda
Galaxus.de
160.49 EUR
Preis aktualisiert am: 28-06-2026 13:08:31
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
Produkt anzeigen
An Economic Analysis on Automated Construction Safety
An Economic Analysis on Automated Construction Safety
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
Produkt anzeigen
Automated Technology for Verification and Analysis
Automated Technology for Verification and Analysis
Produkt anzeigen
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
Produkt anzeigen
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
Produkt anzeigen
Menü