Logic-Based Program Synthesis and Transformation: 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers
Paperback Published on: 27/02/2009
Price: £44.99
Publisher information
- Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
- ISBN: 9783642005145
- Number of pages: 185
- Dimensions: 235 x 155 mm
- Languages: English


