Logic-Based Program Synthesis and Transformation
-
- €54.99
-
- €54.99
Publisher Description
This postproceedings volume of the 17th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2007, examines program termination, program transformation, constraint solving and analysis as well as software engineering.
GENRE
Computing & Internet
RELEASED
2008
26 November
LANGUAGE
EN
English
LENGTH
232
Pages
PUBLISHER
Springer Berlin Heidelberg
PROVIDER INFO
Springer Science & Business Media LLC
SIZE
5.7
MB