Logic Program Synthesis and Transformation

Name: Logic Program Synthesis and Transformation: 5th International Workshop, Lopstr'95, Utrecht, the Netherlands, September 20-22, 1995. Proceedings
Brand: Springer
SKU: 9783540609391
Price: 5514.00 INR
Availability: InStock

5th International Workshop, Lopstr'95, Utrecht, the Netherlands, September 20-22, 1995. Proceedings

by Maurizio Proietti

Springer

₹5,514

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 book constitutes the refereed proceedings of the 5th International Workshop on Logic Program Synthesis and Transformation, LOPSTR'95, held in Utrecht, The Netherlands in September 1995. The 19 papers included were selected from 40 workshop submissions; they offer a unique up-to-date account of the use of formal synthesis and transformation techniques for computer-aided development of logic programs.

Description supplied by the publisher.