Delivery included to the United States

Logic-Based Program Synthesis and Transformation

Logic-Based Program Synthesis and Transformation 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers

Paperback (27 Jul 2012)

Not available for sale

Out of stock

This service is protected by reCAPTCHA and the Google Privacy Policy and Terms of Service apply.

Publisher's Synopsis

Logic-Based Program Synthesis and Transformation

Book information

ISBN: 9783642322129
Publisher: Springer Nature B.V.
Imprint: Springer Nature B.V.
Pub date:
Language: English
Number of pages: 264
Weight: 376g
Height: 234mm
Width: 156mm