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 Governance and Performance of Water Utility Firms by

bigCover of the book Pragmatics and Law by

bigCover of the book Theory of Low-Temperature Plasma Physics by

bigCover of the book Future Solar Energy Devices by

bigCover of the book Cyber Security Cryptography and Machine Learning by

bigCover of the book Security and Privacy Trends in the Industrial Internet of Things by

bigCover of the book The Spectrum of Hyperbolic Surfaces by

bigCover of the book Progress in Science, Progress in Society by

bigCover of the book Avoiding War, Making Peace by

bigCover of the book Math for the Digital Factory by

bigCover of the book Continuous Software Engineering by

bigCover of the book Managing by the Bhagavad Gītā by

bigCover of the book Regulation of Membrane Na+-K+ ATPase by

bigCover of the book Digital Heritage. Progress in Cultural Heritage: Documentation, Preservation, and Protection 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