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 Alternatives to State-Socialism in Britain by

bigCover of the book Causal Overdetermination and Contextualism by

bigCover of the book Geographic Interpretations of the Internet by

bigCover of the book Intelligent Computer Mathematics by

bigCover of the book Measurement of the D0 Meson Production in Pb–Pb and p–Pb Collisions by

bigCover of the book A Student's Guide Through the Great Physics Texts by

bigCover of the book Computational Collective Intelligence by

bigCover of the book A Rumor about the Jews by

bigCover of the book Novel Methods and Technologies for Enterprise Information Systems by

bigCover of the book Advances in Personalized Nanotherapeutics by

bigCover of the book Risks and Resilience of Collaborative Networks by

bigCover of the book Symbols that Bind, Symbols that Divide by

bigCover of the book Managing Corporate Responsibility in the Real World by

bigCover of the book Waste Energy for Life Cycle Assessment by

bigCover of the book Marginal(ized) Prospects through Biblical Ritual and Law 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