Springer
Logic Based Program Synthesis and Transformation (English, Maurice Bruynooghe)
₹5,496
Inclusive of all taxes. Free shipping on orders above ₹499.
Quantity:
1
Free DeliveryAbove ₹499
7-Day ReturnEasy returns
100% AuthenticVerified product
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
Specifications
| Publisher | Springer |
| Language | English |
| ISBN-13 | 9783540221746 |
| ISBN-10 | 3540221743 |
| Author | Maurice Bruynooghe |
