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 Voltage-gated Sodium Channels: Structure, Function and Channelopathies by

bigCover of the book Nearly Zero Energy Communities by

bigCover of the book Advances in Visual Computing by

bigCover of the book Women's Mental Health by

bigCover of the book Functional Importance of the Plant Microbiome by

bigCover of the book Models, Algorithms and Technologies for Network Analysis by

bigCover of the book Essential Oils as Reagents in Green Chemistry by

bigCover of the book Why We Live in Hierarchies? by

bigCover of the book Neurointensive Care by

bigCover of the book Irregular Afghan Migration to Europe by

bigCover of the book Secular Spirituality by

bigCover of the book Positron Emission Tomography with Computed Tomography (PET/CT) by

bigCover of the book Pattern and Security Requirements by

bigCover of the book Numerical Simulation in Physics and Engineering by

bigCover of the book Logistics Operations, Supply Chain Management and Sustainability 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