Logic-Based Program Synthesis and Transformation: 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers
Paperback Published on: 20/10/2012
Price: £41.99
Publisher information
- Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
- ISBN: 9783642322105
- Number of pages: 254
- Dimensions: 235 x 155 mm
- Languages: English


