Delivery included to the United States

Logic-Based Program Synthesis and Transformation

Logic-Based Program Synthesis and Transformation 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers

Paperback (25 Feb 2019) | German

Not available for sale

Out of stock

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

Other formats & editions

New
Paperback (23 Feb 2019) RRP $62.44 $54.32

Publisher's Synopsis

Logic-Based Program Synthesis and Transformation

Book information

ISBN: 9783030138394
Publisher: Springer Nature B.V.
Imprint: Springer Nature B.V.
Pub date:
Language: German
Number of pages: 224
Weight: 322g
Height: 234mm
Width: 156mm