BooksCloudSKU: 9783540544777
Computer-Aided Verification: 2nd Internatonal Conference, Cav '90, New Brunswick, Nj, Usa, June 18-21, 1990. Proceedings - Paperback
$96.08
/
Shipping calculated at checkout.
In stock (50)
$96.08
Computer-Aided Verification: 2nd Internatonal Conference, Cav '90, New Brunswick, Nj, Usa, June 18-21, 1990. Proceedings - Paperback
$96.08
/
Computer-Aided Verification: 2nd Internatonal Conference, Cav '90, New Brunswick, Nj, Usa, June 18-21, 1990. Proceedings - Paperback
$96.08
/
products.product.pickup_availability.unavailable
Still deciding?
Payment & Security
Your payment information is processed securely. We do not store credit card details nor have access to your credit card information.
Security
Related categories
High-Quality MaterialsMade with premium materials for long-lasting use.
Easy to UseSimple design for quick setup and convenience.
Versatile & Multi-PurposePerfect for home, office, or on-the-go.
Satisfaction GuaranteeLove it or return it for a full refund.
by Edmund M. Clarke (Editor), Robert P. Kurshan (Editor)
This volume is the proceedings of a workshop presenting results that lead to new or more powerful computer aided verification methods: advances in the use of binary decision diagrams, dense time, reductions based upon partial order representations, and proof-checking in controller verification.
Number of Pages: 378
Dimensions: 0.81 x 9.21 x 6.14 IN
Illustrated: Yes
Publication Date: October 02, 1991
Free shipping on all U.S. orders
Easy returns and exchanges
30 day money back guarantee
