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 Alfred Hitchcock's Vertigo and the Hermeneutic Spiral by

bigCover of the book Data Envelopment Analysis in the Financial Services Industry by

bigCover of the book Sustainability and the Humanities by

bigCover of the book Identity, Ideology and Positioning in Discourses of Lifestyle Migration by

bigCover of the book Algorithms and Architectures for Parallel Processing by

bigCover of the book Knowledge Management in Organizations by

bigCover of the book Android Application Security by

bigCover of the book Sovereign Debt Crises and Negotiations in Brazil and Mexico, 1888-1914 by

bigCover of the book Perspectives on Pragmatics and Philosophy by

bigCover of the book IoT as a Service by

bigCover of the book Multidisciplinary Design of Sharing Services by

bigCover of the book Automated Technology for Verification and Analysis by

bigCover of the book Touchless Palmprint Recognition Systems by

bigCover of the book Innovation, Human Capital and Trade Competitiveness by

bigCover of the book Energy and the Wealth of Nations 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