Springer
Logic Based Program Synthesis and Transformation (English, Maurice Bruynooghe)
₹5,496
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 Delivery — Free shipping on all orders
- 💵Cash on Delivery — Pay when your order arrives
- ↩️15-Day Easy Returns — Hassle-free return policy
- 🔒Cash on Delivery — Pay safely when your order arrives
Check Delivery
Book Details
| ISBN-13 | 9783540221746 |
| ISBN-10 | 3540221743 |
Product Description
About the Book
This volume contains selected papers from LOPSTR 2003, the 13th Inter- tional Symposium on Logic-Based Program Synthesis and Transformation. The LOPSTR series is devoted to research in logic-based program development. P- ticular topics of interest are speci?cation, synthesis, veri?cation, transformation, specialization, analysis, optimization, composition, reuse, component-based so- ware development, agent-based software development, software arc…
ISBN: 9783540221746
Frequently Asked Questions
What is the price of Logic Based Program Synthesis and Transformation?
Logic Based Program Synthesis and Transformation is available at ₹5,496 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.
