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

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

Automated Validation & Verification of Uml/Ocl Models Using Satisfiability Solvers, (Hardcover) Author: Springer ISBN: 9783319728131 Format: Hardcover Publication Date: 2018-01-31 Page Count: 255

Shipping & Returns

Price unavailable

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

$272.00

Price unavailable

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

$272.00