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 The World Views of the Obama Era by

bigCover of the book Memristor Technology: Synthesis and Modeling for Sensing and Security Applications by

bigCover of the book Artificial Intelligence and Robotics by

bigCover of the book Challenges to European Welfare Systems by

bigCover of the book Globalizing Domain-Specific Languages by

bigCover of the book Questions About Elastic Waves by

bigCover of the book Molecular Genetics of Endometrial Carcinoma by

bigCover of the book Nanochemistry, Biotechnology, Nanomaterials, and Their Applications by

bigCover of the book An Illustrated Guide to Pediatric Urology by

bigCover of the book Sinus Grafting Techniques by

bigCover of the book Explorations in Public Sector Economics by

bigCover of the book Recent Trends in Cancer Biology: Spotlight on Signaling Cascades and microRNAs by

bigCover of the book Frames and Concept Types by

bigCover of the book IgM and Its Receptors and Binding Proteins 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