Logic-Based Program Synthesis and Transformation

26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016, Revised Selected Papers

Nonfiction, Computers, Programming, Programming Languages, General Computing

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

Big bigCover of Logic-Based Program Synthesis and Transformation

More books from Springer International Publishing

bigCover of the book The Realization of Star Trek Technologies by

bigCover of the book Pollination Biology, Vol.1 by

bigCover of the book Endoscopy in Small Bowel Disorders by

bigCover of the book System Identification and Adaptive Control by

bigCover of the book Biophysics of Skin and Its Treatments by

bigCover of the book Accelerator Programming Using Directives by

bigCover of the book Inclusive Leadership by

bigCover of the book Dynamics of Mathematical Models in Biology by

bigCover of the book High Strain Rate Behavior of Nanocomposites and Nanocoatings by

bigCover of the book Neuro-Organizational Culture by

bigCover of the book Thermal Energy Storage Using Phase Change Materials by

bigCover of the book Advances in Integrated and Sustainable Supply Chain Planning by

bigCover of the book Citizen Empowerment and Innovation in the Data-Rich City by

bigCover of the book Public Opinion on Economic Globalization by

We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy