Computer Science Logic

Name: Computer Science Logic: 15th International Workshop, CSL 2001. 10th Annual Conference of the Eacsl, Paris, France, September 10-13, 2001 Proceedings
Brand: Springer
SKU: 9783540425540
Price: 4000.00 INR
Availability: InStock

15th International Workshop, CSL 2001. 10th Annual Conference of the Eacsl, Paris, France, September 10-13, 2001 Proceedings

by Laurent Fribourg

Springer

₹4,000

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

The Annual Conference of the European Association for Computer Science Logic, CSL 2001, was held in Paris, Palais de la Mutualit e, on September 10-13, 2001. This was the 15th in a series of annual meetings, originally intended as International Workshops on Computer Science Logic, and the 10th to be held as the Annual Conference of the EACSL. The conference was organized by La- ratoire Sp eci?cation et V eri?cation (CNRS & ENS Cachan).

Description supplied by the publisher.