Logic-Based Program Synthesis and Transformation
-
- $74.99
-
- $74.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
SELLER
Springer Nature B.V.
SIZE
5.7
MB