
Logic-Based Program Synthesis and Transformation: 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers
Paperback Published on: 22/12/2014
Price: £39.99
Publisher information
- Publisher: Springer International Publishing AG
- ISBN: 9783319141244
- Number of pages: 237
- Dimensions: 235 x 155 mm
- Languages: English

