
Logic Based Program Synthesis and Transformation (English, Maurice Bruynooghe)
Inclusive of all applicable taxes. Free shipping on orders above ₹499, else ₹49 flat.
Available Offers
- 🚚Free Delivery — Free on orders above ₹499, else ₹49 flat
- 💵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
Specifications
| Publisher | Springer |
| Language | English |
| ISBN-13 | 9783540221746 |
| ISBN-10 | 3540221743 |
| Author | Maurice Bruynooghe |
Product Description
Here on GlowMirror, you'll find Logic Based Program Synthesis and Transformation filed under Springer -- everything you need to know is covered below.
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
Book Insights
What You'll Learn
- ·In-depth exploration of topics covered in Logic Based Program Synthesis and Transformation
- ·Key concepts explained with clarity and practical examples
- ·Insights valuable for anyone studying or working in Springer
Who Should Read This
Students and professionals interested in Springer, as well as general readers looking to expand their knowledge.
Key Highlights
- ·Brand new physical book delivered across India
- ·15-day hassle-free return policy





