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 Green Chemistry Metrics by

bigCover of the book Assessing EFL Writing in the 21st Century Arab World by

bigCover of the book Microbial Endocrinology: Interkingdom Signaling in Infectious Disease and Health by

bigCover of the book International Communities of Invention and Innovation by

bigCover of the book Minimally Invasive Bariatric and Metabolic Surgery by

bigCover of the book FluSHELL – A Tool for Thermal Modelling and Simulation of Windings for Large Shell-Type Power Transformers by

bigCover of the book Critical Approaches to Welcome to Night Vale by

bigCover of the book Ignition Systems for Gasoline Engines by

bigCover of the book Innovations in Dryland Agriculture by

bigCover of the book The Soils of Spain by

bigCover of the book The Biblical Accommodation Debate in Germany by

bigCover of the book Mine Seismology: Data Analysis and Interpretation by

bigCover of the book An Introduction to Mathematical Population Dynamics by

bigCover of the book New Challenges in Entrepreneurship and Finance by

bigCover of the book Nonautonomous Dynamical Systems in the Life Sciences 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