Logic-Based Program Synthesis and Transformation
-
- $69.99
-
- $69.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
Computers & Internet
RELEASED
2008
November 26
LANGUAGE
EN
English
LENGTH
232
Pages
PUBLISHER
Springer Berlin Heidelberg
SELLER
Springer Nature B.V.
SIZE
5.7
MB