Logic-Based Program Synthesis and Transformation: 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers
Paperback Published on: 23/02/2019
Price: £44.99
Publisher information
- Publisher: Springer Nature Switzerland AG
- ISBN: 9783030138370
- Number of pages: 203
- Dimensions: 235 x 155 mm
- Languages: English


















