☰

Logic-Based Program Synthesis and Transformation : 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers

Name: Buy Logic-Based Program Synthesis and Transformation : 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers Online
Brand: Peter Lang GmbH, Internationaler Verlag der Wissen
Price: 50.14 GBP
Availability: InStock

About our links

Some links on this site are affiliate links. If you buy something through them, we may earn a small commission from the shop, at no extra cost to you. Prices and stock come from the shops and can change.

Logic-Based Program Synthesis and Transformation : 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers

Peter Lang GmbH, Internationaler Verlag der Wissen

£50.14 at Hive Books

Go to Hive Books

The price comes from the shop and can change. Check price, size and delivery on the shop's page before you order.

This postproceedings volume of the 17th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2007, examines program termination, program transformation, constraint solving and analysis as well as software engineering.

Categories: Ebooks