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

Automated Validation Verification of UML/OCL
Wo zu kaufen (2) Eigenschaften
Gesponsert
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
SpringerLink DE
160.49 EUR
Preis aktualisiert am: 01-10-2026 13:30:57
Siehe Produktangebot
Gesponsert
Przigoda:Automated Validation & Verific, Fachbücher von Rolf Drechsler, Robert Wille, Judith Przigoda, Nils Przigoda
Galaxus.de
160.49 EUR
Preis aktualisiert am: 01-10-2026 06:13:22
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
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
Aus160.49 EUR 3
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)
Aus160.49 EUR 2
Produkt anzeigen
Advances in Automated Valuation Modeling
Advances in Automated Valuation Modeling
Aus171.19 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ü