Logic-Based Program Synthesis and Transformation

24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. 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 Pocket Book for Simulation Debriefing in Healthcare by

bigCover of the book Biomarkers of Cardiometabolic Risk, Inflammation and Disease by

bigCover of the book Computational Science/Intelligence and Applied Informatics by

bigCover of the book A Beginner's Guide to Scala, Object Orientation and Functional Programming by

bigCover of the book Emerging Technologies for Developing Countries by

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

bigCover of the book Atmospheric Research From Different Perspectives by

bigCover of the book Nutrition and Health in a Developing World by

bigCover of the book Fractals, Wavelets, and their Applications by

bigCover of the book Formations of European Modernity by

bigCover of the book Re-Examining The Crime Drop by

bigCover of the book Collective Agency and Cooperation in Natural and Artificial Systems by

bigCover of the book Researching Entrepreneurship by

bigCover of the book Give Peace a Chant by

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