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
SpringerLink DE
160.49 EUR
Preis aktualisiert am: 30-04-2026 14:17:51
Siehe Produktangebot

Allgemein

Marke
Springer-Verlag GmbH
MPN
Springer-Verlag GmbH 30726278
ISBN
Springer-Verlag GmbH 9783319728131

Eigenschaften

Ähnliche Produkte

Automated Trading with R: Quantitative Research and Platform Development
Automated Trading with R: Quantitative Research and Platform Development
Produkt anzeigen
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
Produkt anzeigen
The Governance of Smart Transportation Systems: Towards New Organizational Structures for the Development of Shared, Automated, Electric and Integrated Mobility (The Urban Book Series)
The Governance of Smart Transportation Systems: Towards New Organizational Structures for the Development of Shared, Automated, Electric and Integrated Mobility (The Urban Book Series)
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
Advances in Automated Valuation Modeling
Advances in Automated Valuation Modeling
Produkt anzeigen
Menü