Computer-Aided Verification: A Special Issue of Formal Methods in System Design on Computer-Aided Verification, (Hardcover)

Name: Computer-Aided Verification: A Special Issue of Formal Methods in System Design on Computer-Aided Verification, (Hardcover)
Brand: Robert Kurshan
SKU: prod_8bc36ee5cb8e29ea5bfc934e
Price: 206.00 USD
Availability: InStock

Computer-Aided Verification: A Special Issue of Formal Methods in System Design on Computer-Aided Verification, (Hardcover) Author: Springer ISBN: 9780792392859 Format: Hardcover Publication Date: 1992-12-31 Page Count: 142

Shipping & Returns

Price unavailable

Computer-Aided Verification: A Special Issue of Formal Methods in System Design on Computer-Aided Verification, (Hardcover)—

$206.00

Price unavailable

Computer-Aided Verification: A Special Issue of Formal Methods in System Design on Computer-Aided Verification, (Hardcover)—

$206.00