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 Complex Analysis with Applications by

bigCover of the book Introduction to Process Control by

bigCover of the book Health Care for People with Intellectual and Developmental Disabilities across the Lifespan by

bigCover of the book A History of Palliative Care, 1500-1970 by

bigCover of the book Geophysical Methods for Cultural Heritage Management by

bigCover of the book Advanced Intelligent Computing Theories and Applications by

bigCover of the book Intelligence Science I by

bigCover of the book Eliminating the IMF by

bigCover of the book Engineering Geology for Society and Territory - Volume 5 by

bigCover of the book Fractional Dynamics, Anomalous Transport and Plasma Science by

bigCover of the book Corneal Transplantation by

bigCover of the book Organizational Behaviour and Human Resource Management by

bigCover of the book Comparative Politics of Southeast Asia by

bigCover of the book Lithium Metal Anodes and Rechargeable Lithium Metal Batteries by

bigCover of the book Integration of Immigrants and the Theory of Recognition 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