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 Personality in Speech by

bigCover of the book Signal Quality Assessment in Physiological Monitoring by

bigCover of the book Trauma and Combat Critical Care in Clinical Practice by

bigCover of the book Qualitative Methodologies in Organization Studies by

bigCover of the book Focus on Gynecologic Malignancies by

bigCover of the book Nanoscale Imaging and Characterisation of Amyloid-β by

bigCover of the book The Infected Eye by

bigCover of the book Spatial Network Big Databases by

bigCover of the book Pope Francis as a Global Actor by

bigCover of the book Multiple Helix Ecosystems for Sustainable Competitiveness by

bigCover of the book Privacy and the American Constitution by

bigCover of the book Combined Stresses in Plants by

bigCover of the book Current Controversies in Cancer Care for the Surgeon by

bigCover of the book Three-Dimensional Integration of Semiconductors by

bigCover of the book Introduction to Ethnobiology 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