Stock Image

Computer Aided Verification: 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings (Lecture Notes in Computer Science)

Springer

0 ratings by Goodreads
ISBN 10: 3642314236 / ISBN 13: 9783642314230
Published by Springer, 2012
Condition: Good Soft cover
From Books Express (Portsmouth, NH, U.S.A.)

AbeBooks Seller Since August 14, 2015 Seller Rating 5-star rating

Quantity Available: 1

Buy Used
Price: US$ 300.42 Convert Currency
Shipping: Free Within U.S.A. Destination, rates & speeds
Add to basket

30 Day Return Policy

About this Item

Ships with Tracking Number! INTERNATIONAL WORLDWIDE Shipping available. May not contain Access Codes or Supplements. May be ex-library. Shipping & Handling by region. Buy with confidence, excellent customer service!. Bookseller Inventory # 3642314236

Ask Seller a Question

Bibliographic Details

Title: Computer Aided Verification: 24th ...

Publisher: Springer

Publication Date: 2012

Binding: Paperback

Book Condition: Good

Edition: 2012.

About this title

Synopsis:

This book constitutes the refereed proceedings of the 24th International Conference on Computer Aided Verification, C.A.V. 2012, held in Berkeley, C.A., U.S.A. in July 2012. The 38 regular and 20 tool papers presented were carefully reviewed and selected from 185 submissions. The papers are organized in topical sections on automata and synthesis, inductive inference and termination, abstraction, concurrency and software verification, biology and probabilistic systems, embedded and control systems, S.A.T./S.M.T. solving and S.M.T.-based verification, timed and hybrid systems, hardware verification, security, verification and synthesis, and tool demonstration.

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

Store Description

Visit Seller's Storefront

Terms of Sale:

Buy with confidence. Excellent customer service. 30 day return policy.

Books Express LLC
318 US Route 1, STE 2
Kittery ME 03904


Shipping Terms:

Standard and expedited shipping options include shipping and handling costs. Default shipping is by USPS Media Mail and frequently USPS Priority Mail or UPS Ground is used. Books should arrive within 10-14 business days for expedited shipping, and 20-30 business days for standard shipping. Standard shipping can on occasion take up to 30 days for delivery.

List this Seller's Books

Payment Methods
accepted by seller

Visa Mastercard American Express

Check Money Order PayPal Invoice Bank Draft Bank/Wire Transfer Direct Debit (Personally Authorized Payment)