Computer Aided Verification

Name: Computer Aided Verification: 14th International Conference, Cav 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings
Brand: Springer
SKU: 9783540439974
Price: 4400.00 INR
Availability: InStock

14th International Conference, Cav 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings

by Ed Brinksma, Kim G. Larsen

Springer

₹4,400

Free delivery. Nothing extra to pay at checkout.

New copy. Each book is ordered new from our distributor, Atlantic Books, after you place your order.
Delivery in 3–7 days to any serviceable pincode in India, with tracking.
Cash on delivery. Pay when the parcel reaches you.
15-day returns. See what qualifies.

From the publisher

This volume contains the proceedings of the conference on Computer Aided V- i?cation (CAV 2002), held in Copenhagen, Denmark on July 27-31, 2002. CAV 2002 was the 14th in a series of conferences dedicated to the advancement of the theory and practice of computer-assisted formal analysis methods for software and hardware systems.

Description supplied by the publisher.