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 Tsunami and Fukushima Disaster: Design for Reconstruction by

bigCover of the book Software Engineering and Formal Methods by

bigCover of the book Women in European Holocaust Films by

bigCover of the book Economic Analysis of Contract Law by

bigCover of the book Women’s Lives in Contemporary French and Francophone Literature by

bigCover of the book Computer Vision – ECCV 2016 by

bigCover of the book Models and Methods for Interval-Valued Cooperative Games in Economic Management by

bigCover of the book Computer Vision in Control Systems-4 by

bigCover of the book Corporate Governance Codes for the 21st Century by

bigCover of the book Critical Dietary Factors in Cancer Chemoprevention by

bigCover of the book Aggressive and Violent Peasant Elites in the Nordic Countries, C. 1500-1700 by

bigCover of the book Natural Language Processing and Chinese Computing by

bigCover of the book Male Sex Work in the Digital Age by

bigCover of the book Atlas of Ecosystem Services by

bigCover of the book Thermal Performance Modeling of Cross-Flow Heat Exchangers 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