Logic-Based Program Synthesis and Transformation

24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. 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 Privacy and Identity Management. Facing up to Next Steps by

bigCover of the book Climate Change Impacts on Hydrological Processes and Sediment Dynamics: Measurement, Modelling and Management by

bigCover of the book Fair Reflection of Society in Judicial Systems - A Comparative Study by

bigCover of the book Illustrating Finance Policy with Mathematica by

bigCover of the book DNA Information: Laws of Perception by

bigCover of the book Computing Platforms for Software-Defined Radio by

bigCover of the book Proceedings of the 3rd International Conference on Intelligent Technologies and Engineering Systems (ICITES2014) by

bigCover of the book Applications for Future Internet by

bigCover of the book Editors Construct the Renaissance Canon, 1825-1915 by

bigCover of the book Enterprise Applications and Services in the Finance Industry by

bigCover of the book Handbook of Tuberculosis by

bigCover of the book Recentering Africa in International Relations by

bigCover of the book Social Entrepreneurship as Sustainable Development 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