Items related to Logic-Based Program Synthesis and Transformation

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.

  • PublisherSpringer
  • Publication date2008
  • ISBN 10 3540871349
  • ISBN 13 9783540871347
  • BindingPaperback
  • LanguageEnglish
  • Number of pages236
  • EditorKing Andy

(No Available Copies)

Search Books:



Create a Want

Can't find the book you're looking for? We'll keep searching for you. If one of our booksellers adds it to AbeBooks, we'll let you know!

Create a Want

Other Popular Editions of the Same Title

9783540787686: Logic-Based Program Synthesis and Transformation: 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised ... (Lecture Notes in Computer Science, 4915)

Featured Edition

ISBN 10:  3540787682 ISBN 13:  9783540787686
Publisher: Springer, 2008
Softcover