Symbolic Model Checking, (Hardcover)

Name: Symbolic Model Checking, (Hardcover)
Brand: Kenneth L McMillan
SKU: prod_cf94129bda9bcd0c1630942b
Price: 172.00 USD
Availability: InStock

Symbolic Model Checking, (Hardcover) Author: Kluwer Academic Publishers ISBN: 9780792393801 Format: Hardcover Publication Date: 1993-07-31 Page Count: 216

Shipping & Returns

Price unavailable

Symbolic Model Checking, (Hardcover)—

$172.00

Price unavailable

Symbolic Model Checking, (Hardcover)—

$172.00