Automated Validation & Verification of Uml/Ocl Models Using Satisfiability Solvers, (Paperback)

Name: Automated Validation & Verification of Uml/Ocl Models Using Satisfiability Solvers, (Paperback)
Brand: Nils Przigoda
SKU: prod_e69c9a69178568fba519e697
Price: 291.00 USD
Availability: InStock

Automated Validation & Verification of Uml/Ocl Models Using Satisfiability Solvers, (Paperback) Author: Springer ISBN: 9783319892146 Format: Paperback Publication Date: 2019-06-06 Page Count: 255

Shipping & Returns

Price unavailable

Automated Validation & Verification of Uml/Ocl Models Using Satisfiability Solvers, (Paperback)—

$291.00

Price unavailable

Automated Validation & Verification of Uml/Ocl Models Using Satisfiability Solvers, (Paperback)—

$291.00