Items related to Logic-Based Program Synthesis and Transformation: 22nd...

Logic-Based Program Synthesis and Transformation: 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers - Softcover

 
9783642381980: Logic-Based Program Synthesis and Transformation: 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers
Softcover
ISBN 10: 3642381987 ISBN 13: 9783642381980
Publisher: Springer, 2013

This specific ISBN edition is currently not available.

  • PublisherSpringer
  • Publication date2013
  • ISBN 10 3642381987
  • ISBN 13 9783642381980
  • BindingPaperback
  • LanguageEnglish
  • Number of pages256
  • EditorAlbert Elvira

(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

9783642381966: Logic-Based Program Synthesis and Transformation: 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected ... Computer Science and General Issues)

Featured Edition

ISBN 10:  3642381960 ISBN 13:  9783642381966
Publisher: Springer, 2013
Softcover