ISBN 9783540787686,Logic-based Program Synthesis and Transformation

Logic-based Program Synthesis and Transformation

Rs5037

Availability: Out of Stock

(Free Delivery)

We Accept
ISBN 9783540787686
Check delivery information
 
ISBN 9783540787686
Publisher

Ingram Publisher Services

Publication Year 2008
ISBN-13

ISBN 9783540787686

ISBN-10 3540787682
Binding

Paperback

Number of Pages 234 Pages
Subject

Computer programming / software development

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.
Scroll