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 Chicxulub: The Impact and Tsunami by

bigCover of the book Internet Election Campaigns in the United States, Japan, South Korea, and Taiwan by

bigCover of the book Reconfigurable Transceiver Architecture for Multiband RF-Frontends by

bigCover of the book Termites and Sustainable Management by

bigCover of the book Trends and Applications in Knowledge Discovery and Data Mining by

bigCover of the book Cellular Automata and Discrete Complex Systems by

bigCover of the book The Influence of Demographic Stochasticity on Population Dynamics by

bigCover of the book Microphysics of Atmospheric Phenomena by

bigCover of the book Front Line Surgery by

bigCover of the book Methods for Appearance-based Loop Closure Detection by

bigCover of the book Health Communication in the Changing Media Landscape by

bigCover of the book Big Data Analytics and Knowledge Discovery by

bigCover of the book Practices and Tools for Servitization by

bigCover of the book Operations Research Proceedings 2014 by

bigCover of the book Vascular Diseases for the Non-Specialist 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