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 Global Sourcing of Digital Services: Micro and Macro Perspectives by

bigCover of the book The Callias Index Formula Revisited by

bigCover of the book Spectral and High Order Methods for Partial Differential Equations ICOSAHOM 2016 by

bigCover of the book International Digital Imaging Correlation Society by

bigCover of the book Theory is History by

bigCover of the book Extrasolar Planets and Their Host Stars by

bigCover of the book Saved from the Cellar by

bigCover of the book Marxist Historical Cultures and Social Movements during the Cold War by

bigCover of the book Sinus Grafting Techniques by

bigCover of the book Transpacific Correspondence by

bigCover of the book Decision Support Systems III - Impact of Decision Support Systems for Global Environments by

bigCover of the book Polypropylene Nanofibers by

bigCover of the book Advances on Theory and Practice of Robots and Manipulators by

bigCover of the book Principle and Application Progress in Location-Based Services by

bigCover of the book Solar Light Harvesting with Nanocrystalline Semiconductors 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