Logic-Based Program Synthesis and Transformation (English, Danny de Schreye)
Sciences, Technology & Medicine

Logic-Based Program Synthesis and Transformation (English, Danny de Schreye)

5,492

Inclusive of all applicable taxes. FREE shipping on all orders.

Quantity:
1
Free DeliveryOn every order
15-Day ReturnEasy returns
Verified ListingQuality-checked

Available Offers

  • 🚚Free DeliveryFree shipping on all orders
  • 💵Cash on DeliveryPay when your order arrives
  • ↩️15-Day Easy ReturnsHassle-free return policy
  • 🔒Cash on DeliveryPay safely when your order arrives

Check Delivery

Book Details

ISBN-139783642125911
ISBN-103642125913

Product Description

About the Book

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. LOPSTR traditionally solicits papers in the areas of specification, synthesis, verif…

ISBN: 9783642125911

Frequently Asked Questions

What is the price of Logic-Based Program Synthesis and Transformation?
Logic-Based Program Synthesis and Transformation is available at ₹5,492 on BookShops.in.
Does BookShops.in offer free delivery for Logic-Based Program Synthesis and Transformation?
FREE delivery on all orders for Logic-Based Program Synthesis and Transformation.
Is Cash on Delivery available for Logic-Based Program Synthesis and Transformation?
Yes, Cash on Delivery (COD) is available for Logic-Based Program Synthesis and Transformation on BookShops.in. Pay when your order arrives.
What is the return policy for Logic-Based Program Synthesis and Transformation?
BookShops.in offers a 15-day hassle-free return policy for Logic-Based Program Synthesis and Transformation. Contact us at support@bookshops.in or call +91 81899 68108.
Is Logic-Based Program Synthesis and Transformation authentic?
Logic-Based Program Synthesis and Transformation is listed on BookShops.in after verification of product details including ISBN, title, and availability information.