Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers | Kaicus Deutschland
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 3% Off 164.99 EUR

Marke: Springer
Gesponsert  Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen
-3%

Gesponsert Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers, Fachbücher von Robert Wille, Judith Przigoda, Nils Przigoda

160.49 EUR 164.99 EUR
27-08-2026 15:32:40
Access to the deal

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

164.99 EUR 164.99 EUR
27-08-2026 13:34:34
Access to the deal

Ähnliche Produkte

Automated Trading with R: Quantitative Research and Platform Development

58.64 EUR 82.49 EUR
Produkt anzeigen

An Economic Analysis on Automated Construction Safety

139.09 EUR 142.99 EUR
Produkt anzeigen

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

160.49 EUR 164.99 EUR
Produkt anzeigen

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

116.47 EUR 128.39 EUR
Produkt anzeigen