Logic-Based Program Synthesis and Transformation: 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers - Softcover

 
9783642205521: Logic-Based Program Synthesis and Transformation: 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers

This specific ISBN edition is currently not available.

Other Popular Editions of the Same Title

9783642205507: Logic-Based Program Synthesis and Transformation: 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected ... (Lecture Notes in Computer Science, 6564)

Featured Edition

ISBN 10:  364220550X ISBN 13:  9783642205507
Publisher: Springer, 2011
Softcover