Logic-Based Program Synthesis and Transformation

27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, 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 Green's Kernels and Meso-Scale Approximations in Perforated Domains by

bigCover of the book Advances in Acoustic Emission Technology by

bigCover of the book Dependability Engineering and Complex Systems by

bigCover of the book Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing 2015 by

bigCover of the book Playful Memories by

bigCover of the book Contemporary Developments in Statistical Theory by

bigCover of the book Service Life and Durability of Reinforced Concrete Structures by

bigCover of the book Augmented Cognition by

bigCover of the book Portfolio Optimization Using Fundamental Indicators Based on Multi-Objective EA by

bigCover of the book Energy Efficient Smart Phones for 5G Networks by

bigCover of the book Contemporary Challenges of Transport Systems and Traffic Engineering by

bigCover of the book Democracy and an Open-Economy World Order by

bigCover of the book Enhancing Energy Efficiency in Irrigation by

bigCover of the book Secular Evolution of Self-Gravitating Systems Over Cosmic Age by

bigCover of the book Framelets and Wavelets 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