Logic-Based Program Synthesis and TransformationAuthor :
Paperback
Published : Monday 4 May 2015
Description
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.
You may also like ...
![Product](https://abcbooksimages.s3.eu-west-1.amazonaws.com/sBookimagesFlat2020/9783319178219.jpg)
by
Paperback
04 May 2015
Discrete mathematics
€52.64
Extended stock – Dispatch 5-7 days
![Product](https://abcbooksimages.s3.eu-west-1.amazonaws.com/sBookimagesFlat2020/9780081029374.jpg)
by
Paperback
25 Nov 2020
Biomedical engineering
€204.75
Extended stock – Dispatch 5-7 days
![Product](https://abcbooksimages.s3.eu-west-1.amazonaws.com/sBookimagesFlat2020/9780190498900.jpg)
by
Hardback
24 Mar 2020
History of art
€134.55
Extended stock – Dispatch 5-7 days
![Product](https://abcbooksimages.s3.eu-west-1.amazonaws.com/sBookimagesFlat2020/9780197501122.jpg)
by
Paperback
24 Mar 2020
History of art
€43.28
Extended stock – Dispatch 5-7 days
Reviews