Skip to content
Home/ Automated Validation & Verification of Uml/Ocl Models Using Satisfiability Solvers (Softcover Reprin
Automated Validation & Verification of Uml/Ocl Models Using Satisfiability Solvers (Softcover Reprin

Automated Validation & Verification of Uml/Ocl Models Using Satisfiability Solvers (Softcover Reprin

No customer reviews yet ISBN 9783319892146

About the author

Product details

Pub dateJun 6, 2019
ISBN-103319892142
ISBN-139783319892146
LanguageEnglish
Last updated 2026-09-01 02:01
$177.01
In stock — ships in 24 hours with free tracking
Delivery by Wednesday, October 7, 2026
Qty
Sign in to Add to Saved list
Free delivery on orders over $35.
15-day returns. Any reason.
Secure checkout. We never store card details.