Logic-Based Program Synthesis and Transformation: 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected ... Computer Science and General Issues)
4.7 (55 items)
Limited Time Sale$28.77 cheaper than the new price!!
Free cash-on-delivery fees for purchases over $99
Product details
| Management number | 233299666 | Release Date | 2026/06/27 | List Price | $19.18 | Model Number | 233299666 | ||
|---|---|---|---|---|---|---|---|---|---|
| Category | |||||||||
This book constitutes the thoroughly refereed post-conference proceedings of the 24th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2014, held in Canterbury, UK, in September 2014. The 18 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 34 submissions. The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. The papers are organized along a set of thematic tracks: program analysis and transformation, constraint handling rules, termination analysis, security, program testing and verification, program synthesis, program derivation, semantic issues in logic programming and program transformation and optimization. Read more
| ISBN10 | 3319178210 |
|---|---|
| ISBN13 | 978-3319178219 |
| Edition | 2015th |
| Language | English |
| Publisher | Springer |
| Dimensions | 6.1 x 0.79 x 9.25 inches |
| Item Weight | 1.18 pounds |
| Print length | 345 pages |
| Publication date | May 4, 2015 |
Bestseller ranking
Intelligence & Semantics
Customers who viewed this product also viewed
Death, Grief & Bereavement
Correction of product information
If you notice any omissions or errors in the product information on this page, please use the correction request form below.
Correction Request Form