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 Free-Electron Lasers in the Ultraviolet and X-Ray Regime by

bigCover of the book The Callias Index Formula Revisited by

bigCover of the book Electrochemical Biosensor: Point-of-Care for Early Detection of Bone Loss by

bigCover of the book Security Challenges and Approaches in Internet of Things by

bigCover of the book Municipal Accountability in the American Age of Reform by

bigCover of the book Principles of Free Electron Lasers by

bigCover of the book Brain Function and Responsiveness in Disorders of Consciousness by

bigCover of the book Population Genetics and Belonging by

bigCover of the book Management and Valuation of Heritage Assets by

bigCover of the book The Doctrine of Being in Hegel’s Science of Logic by

bigCover of the book The Scientific Legacy of William Herschel by

bigCover of the book Canine and Feline Dementia by

bigCover of the book Understanding Campus-Community Partnerships in Conflict Zones 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