Logic-Based Program Synthesis and Transformation

25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers

Nonfiction, Computers, Programming, Software Development, 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 Web Information Systems and Technologies by

bigCover of the book Democracy after the Internet - Brazil between Facts, Norms, and Code by

bigCover of the book Handbook of Consumer Finance Research by

bigCover of the book Refiguring Techniques in Digital Visual Research by

bigCover of the book The Power of Geographical Thinking by

bigCover of the book Heidegger, Levinas, Derrida: The Question of Difference by

bigCover of the book Color Image and Video Enhancement by

bigCover of the book Contextual Cognition by

bigCover of the book Information Systems and Management in Media and Entertainment Industries by

bigCover of the book Towards Bio-based Flame Retardant Polymers by

bigCover of the book Security, Privacy, and Anonymity in Computation, Communication, and Storage by

bigCover of the book The Bad Faith in the Free Market by

bigCover of the book Diabetes and Exercise by

bigCover of the book Robust Multimodal Cognitive Load Measurement by

bigCover of the book Underpotential Deposition 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