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

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

Computer-Aided Verification: A Special Issue of Formal Methods in System Design on Computer-Aided Verification, (Paperback) Author: Springer ISBN: 9781461365792 Format: Paperback Publication Date: 2012-10-05 Page Count: 142

Shipping & Returns

Price unavailable

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

$271.00

Price unavailable

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

$271.00