Stock Image
Image Not Available

Computer Aided Verification (Paperback)

Aarti Gupta

1 ratings by Goodreads
ISBN 10: 3540705430 / ISBN 13: 9783540705437
New Condition: New Soft cover
From Grand Eagle Retail (Wilmington, DE, U.S.A.)

AbeBooks Seller Since October 12, 2005 Seller Rating 2-star rating

Quantity Available: 1

Buy New
List Price: US$ 139.00
Price: US$ 170.21 Convert Currency
Shipping: Free Within U.S.A. Destination, rates & speeds
Add to basket

30 Day Return Policy

About this Item

Paperback. This book constitutes the refereed proceedings of the 20th International Conference on Computer Aided Verification, CAV 2008, held in Princeton, NJ, USA, in July 2008.The 33 revised full p.Shipping may be from multiple locations in the US or from the UK, depending on stock availability. 558 pages. 0.839. Bookseller Inventory # 9783540705437

Ask Seller a Question

Bibliographic Details

Title: Computer Aided Verification (Paperback)

Binding: Paperback

Book Condition:New

Edition: 2008th.

About this title

Synopsis:

This book constitutes the refereed proceedings of the 20th International Conference on Computer Aided Verification, CAV 2008, held in Princeton, NJ, USA, in July 2008. The 33 revised full papers presented together with 14 tool papers and 2 invited papers and 4 invited tutorials were carefully reviewed and selected from 104 regular paper and 27 tool paper submissions. The papers are organized in topical sections on concurrency, memory consistency, abstraction/refinement, hybrid systems, dynamic verification, modeling and specification formalisms, decision procedures, program verification, program and shape analysis, security and program analysis, hardware verification, model checking, space efficient algorithms, and model checking.

"About this title" may belong to another edition of this title.

Store Description

Visit Seller's Storefront

Terms of Sale:

We guarantee the condition of every book as it¿s described on the Abebooks web sites. If you¿ve changed
your mind about a book that you¿ve ordered, please use the Ask bookseller a question link to contact us
and we¿ll respond within 2 business days.
Books ship from California and Michigan.


Shipping Terms:

Orders usually ship within 2 business days. All books within the US ship free of charge. Delivery is 4-14 business days anywhere in the United States.

Books ship from California and Michigan.

If your book order is heavy or oversized, we may contact you to let you know extra shipping is required.

List this Seller's Books

Payment Methods
accepted by seller

Visa Mastercard American Express