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 Adapting African Agriculture to Climate Change by

bigCover of the book Biodiversity and Wind Farms in Portugal by

bigCover of the book Computer Information Systems and Industrial Management by

bigCover of the book Cross-Cultural Design by

bigCover of the book Aesthetics and Neuroscience by

bigCover of the book Methodologies in Peace Psychology by

bigCover of the book Financial Markets, SME Financing and Emerging Economies by

bigCover of the book Quantum Measurement by

bigCover of the book Beauty and Body Dysmorphic Disorder by

bigCover of the book Green, Pervasive, and Cloud Computing by

bigCover of the book Runtime Verification by

bigCover of the book The Vixen Star Book User Guide by

bigCover of the book Infrastructure and Technology Management by

bigCover of the book Solving Large Scale Learning Tasks. Challenges and Algorithms by

bigCover of the book Jihadist Infiltration of Migrant Flows to Europe 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