Computer Aided Verification

Name: Computer Aided Verification: 7th International Conference, Cav '95, Liege, Belgium, July 3 - 5, 1995. Proceedings
Brand: Springer
SKU: 9783540600459
Price: 5606.00 INR
Availability: InStock

7th International Conference, Cav '95, Liege, Belgium, July 3 - 5, 1995. Proceedings

by Pierre Wolper

Springer

₹5,606

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 constitutes the proceedings of the 7th International Conference on Computer Aided Verification, CAV '95, held in Liège, Belgium in July 1995. The book contains the 31 refereed full research papers selected for presentation at CAV '95 as well as abstracts or full papers of the three invited presentations.

Description supplied by the publisher.