Logic-Based Program Synthesis and Transformation

Name: Logic-Based Program Synthesis and Transformation: 19th International Symposium, Lopstr 2009, Coimbra, Portugal, September 2009, Revised Selected Paper
Brand: Springer
SKU: 9783642125911
Price: 5492.00 INR
Availability: InStock

19th International Symposium, Lopstr 2009, Coimbra, Portugal, September 2009, Revised Selected Paper

by Danny de Schreye

Springer

₹5,492

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 thoroughly refereed post-conference proceedings of the 19th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2009, held in Coimbra, Portugal, during September 9-11, 2009. The 14 revised full papers presented together with one invited talk were carefully reviewed and selected for inclusion in the book.

Description supplied by the publisher.