Logic-Based Program Synthesis and Transformation

25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. 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 Sertoli Cell Metabolism and Spermatogenesis by

bigCover of the book Stable Convergence and Stable Limit Theorems by

bigCover of the book Operations Research Proceedings 2016 by

bigCover of the book Reviews of Environmental Contamination and Toxicology Volume 247 by

bigCover of the book Making Better Decisions Using Systems Thinking by

bigCover of the book Energy Efficiency in the Minerals Industry by

bigCover of the book Universities in the Networked Society by

bigCover of the book The Mathematical Theory of Time-Harmonic Maxwell's Equations by

bigCover of the book Diagnostic Techniques in Industrial Engineering by

bigCover of the book Design, User Experience, and Usability. Design Philosophy and Theory by

bigCover of the book Essentials of Partial Differential Equations by

bigCover of the book J Wave Syndromes by

bigCover of the book Ambient Intelligence for Health by

bigCover of the book Uniform Across-the-Board Promotions by

bigCover of the book Internetworked World 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