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
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