Mathematics of Program Construction

Name: Mathematics of Program Construction: Third International Conference, MPC '95, Kloster Irsee, Germany, July 17 - 21, 1995. Proceedings
Brand: Springer
SKU: 9783540601173
Price: 5618.00 INR
Availability: InStock

Third International Conference, MPC '95, Kloster Irsee, Germany, July 17 - 21, 1995. Proceedings

by Bernhard Möller

Springer

₹5,618

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 Third International Conference on the Mathematics of Program Construction, held at Kloster Irsee, Germany in July 1995. Besides five invited lectures by distinguished researchers there are presented 19 full revised papers selected from a total of 58 submissions.

Description supplied by the publisher.