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 Design and Society: Social Issues in Technological Design by

bigCover of the book Visualising the Charge and Cooper-Pair Density Waves in Cuprates by

bigCover of the book Gender and Land Tenure in the Context of Disaster in Asia by

bigCover of the book Advanced Hardware Design for Error Correcting Codes by

bigCover of the book Business Intelligence by

bigCover of the book Benchmarking Collaborative Networks by

bigCover of the book Mississippi Delta Restoration by

bigCover of the book Videogames and Postcolonialism by

bigCover of the book HSP70 in Human Diseases and Disorders by

bigCover of the book Automated Security Management by

bigCover of the book Interpreting Plato Socratically by

bigCover of the book Breast Cancer Management for Surgeons by

bigCover of the book Cross-Cultural Design by

bigCover of the book Ecotechnologies for the Treatment of Variable Stormwater and Wastewater Flows by

bigCover of the book Curriculum in International Contexts 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