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 How Aspirin Entered Our Medicine Cabinet by

bigCover of the book Uncharted Constellations by

bigCover of the book Let's Get Engaged! Crossing the Threshold of Marketing’s Engagement Era by

bigCover of the book Laser Interaction with Heterogeneous Biological Tissue by

bigCover of the book Parallel Computing Technologies by

bigCover of the book Toolbox for Marketing and Management by

bigCover of the book Weak-Coupling Theory of Topological Superconductivity by

bigCover of the book Marian Devotions, Political Mobilization, and Nationalism in Europe and America by

bigCover of the book Microdomains in the Cardiovascular System by

bigCover of the book Finance and the Behavioral Prospect by

bigCover of the book Popper and His Popular Critics by

bigCover of the book Globalization and Cyberculture by

bigCover of the book The Forest and the City by

bigCover of the book University of Toronto Mathematics Competition (2001–2015) by

bigCover of the book The Transformation of British and American Naval Policy in the Pre-Dreadnought Era 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