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 Ultra Low Power Transceiver for Wireless Body Area Networks by

bigCover of the book mODa 11 - Advances in Model-Oriented Design and Analysis by

bigCover of the book The Neurological Emergence of Epilepsy by

bigCover of the book Regularity Theory for Mean-Field Game Systems by

bigCover of the book Compositional Data Analysis by

bigCover of the book Computer Vision – ECCV 2018 by

bigCover of the book Youth Studies in Transition: Culture, Generation and New Learning Processes by

bigCover of the book HCI International 2019 - Posters by

bigCover of the book Disruptive Healthcare Provider Behavior by

bigCover of the book Advanced Headache Therapy by

bigCover of the book Climate Change Adaptation Strategies – An Upstream-downstream Perspective by

bigCover of the book Exotic Brome-Grasses in Arid and Semiarid Ecosystems of the Western US by

bigCover of the book Medicine, Knowledge and Venereal Diseases in England, 1886-1916 by

bigCover of the book Teaching Science to English Language Learners by

bigCover of the book Strategy and Communication for Innovation 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