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 Teaching and Learning in Lower Secondary Schools in the Era of PISA and TIMSS by

bigCover of the book International Manufacturing Strategy in a Time of Great Flux by

bigCover of the book Human Paleontology and Prehistory by

bigCover of the book Quality of Life and Well-Being in an Indian Ethnic Community by

bigCover of the book CoDesign for Public-Interest Services by

bigCover of the book The Bubble Theory by

bigCover of the book Image Analysis and Recognition by

bigCover of the book Language Planning in the Post-Communist Era by

bigCover of the book Flexible Query Answering Systems by

bigCover of the book Reassessing the Hitchcock Touch by

bigCover of the book Transmissions in Dance by

bigCover of the book Analog Integrated Circuit Design Automation by

bigCover of the book Managing and Breeding Wheat for Organic Systems by

bigCover of the book The Politics of Commercial Treaties in the Eighteenth Century by

bigCover of the book Using R for Digital Soil Mapping 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