Logic-Based Program Synthesis and Transformation - Softcover

 
9783540871347: Logic-Based Program Synthesis and Transformation
Softcover
ISBN 10: 3540871349 ISBN 13: 9783540871347
Publisher: Springer, 2008

This specific ISBN edition is currently not available.

Synopsis

Logic-based Program Synthesis and Transformation 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.

"synopsis" may belong to another edition of this title.

Publisher
Springer
Publication date
2008
Language
English
ISBN 10 
3540871349
ISBN 13 
9783540871347
Binding
Paperback
Number of pages
236
Editor
King Andy