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 Carbon Footprint and the Industrial Life Cycle by

bigCover of the book Building a Culture of Health by

bigCover of the book Management of Extended Parotid Tumors by

bigCover of the book Computer-Assisted and Robotic Endoscopy by

bigCover of the book Information Technology and Systems by

bigCover of the book Network Embeddedness by

bigCover of the book In Command of Guardians: Executive Servant Leadership for the Community of Responders by

bigCover of the book New Ecoinformatics Tools in Environmental Science by

bigCover of the book Smart Information Systems by

bigCover of the book Societies in Transition by

bigCover of the book Proceedings of ELM 2018 by

bigCover of the book Narratives of Difference in Globalized Cultures by

bigCover of the book Rethink! Prototyping by

bigCover of the book Building Sustainable Futures by

bigCover of the book Recent Advances in Information and Communication Technology 2018 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