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 Progress in Clean Energy, Volume 1 by

bigCover of the book Black Studies and the Democratization of American Higher Education by

bigCover of the book The Emergence of Israeli-Greek Cooperation by

bigCover of the book Human-Computer Interaction. Design Practice in Contemporary Societies by

bigCover of the book Studies on "Perfect" Hyperbranched Chains Free in Solution and Confined in a Cylindrical Pore by

bigCover of the book New Religions and State's Response to Religious Diversification in Contemporary Vietnam by

bigCover of the book McLuhan’s Galaxies: Science Fiction Film Aesthetics in Light of Marshall McLuhan’s Thought by

bigCover of the book 3D Printing in Medicine by

bigCover of the book Smart Power Systems and Renewable Energy System Integration by

bigCover of the book Mathematical Gauge Theory by

bigCover of the book Relational and Algebraic Methods in Computer Science by

bigCover of the book The Carrera Revolt and 'Hybrid Warfare' in Nineteenth-Century Central America by

bigCover of the book Market-Consistent Actuarial Valuation by

bigCover of the book A Readable Introduction to Real Mathematics by

bigCover of the book The Romantic Ethic and the Spirit of Modern Consumerism 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