All categories
Kaicus
Baby & Kleinkind
Bekleidung & Accessoires
Bürobedarf
Elektronik
Fahrzeuge & Teile
Für Erwachsene
Gesundheit & Schönheit
Heim & Garten
Heimwerkerbedarf
Kameras & Optik
Kunst & Unterhaltung
Medien
Möbel
Nahrungsmittel, Getränke & Tabak
Software
Spielzeuge & Spiele
Sportartikel
Taschen & Gepäck
Tiere & Tierbedarf
Wirtschaft & Industrie
UK España Italia Deutschland France
© 2026, Kaicus - Smart Shopping
All rights reserved
Kaicus Medien Bücher Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
product image
product image
product image
product image

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

160.49 EUR

Marke: Springer-Verlag GmbH
MPN: 30726278
ISBN: 9783319728131
Gesponsert  Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen

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

160.49 EUR 160.49 EUR
28-04-2026 20:51:22
Access to the deal

Ähnliche Produkte

The Governance of Smart Transportation Systems: Towards New Organizational Structures for the Development of Shared, Automated, Electric and Integrated Mobility (The Urban Book Series)

160.49 EUR
Produkt anzeigen

Advances in Automated Valuation Modeling

171.19 EUR
Produkt anzeigen

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

160.49 EUR
Produkt anzeigen

Validation and Verification of Automated Systems: Results of the ENABLE-S3 Project

116.47 EUR 128.39 EUR
Produkt anzeigen