Logic-Based Program Synthesis and Transformation

27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, 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 Emerging Issues in Ecology and Environmental Science by

bigCover of the book Precarious Labour and Informal Economy by

bigCover of the book Outsider Leadership by

bigCover of the book Economics of Grids, Clouds, Systems, and Services by

bigCover of the book Samuel Pepys, Isaac Newton, James Hodgson, and the Beginnings of Secondary School Mathematics by

bigCover of the book Quantitative Evaluation of Systems by

bigCover of the book Neurodegenerative Diseases by

bigCover of the book The Informal Economy by

bigCover of the book Practitioner's Guide to Empirically Supported Measures of Anger, Aggression, and Violence by

bigCover of the book Heuristic Search by

bigCover of the book Handbook of Theory and Practice of Sustainable Development in Higher Education by

bigCover of the book Entrepreneurship, Human Capital, and Regional Development by

bigCover of the book HCI in Business, Government, and Organizations: eCommerce and Innovation by

bigCover of the book Computational Intelligence 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