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 Diffusion in Ceramics by

bigCover of the book Articulations of Self and Politics in Activist Discourse by

bigCover of the book Quantum Theory of Many-Body Systems by

bigCover of the book Technologies for Sustainable Development by

bigCover of the book Extraskeletal Effects of Vitamin D by

bigCover of the book Urban Sustainability: Policy and Praxis by

bigCover of the book New Trends in Aggregation Theory by

bigCover of the book Reading and Writing Experimental Texts by

bigCover of the book Modern Cold Spray by

bigCover of the book Business Model Innovation by

bigCover of the book Development Finance by

bigCover of the book Algae-Based Biopharmaceuticals by

bigCover of the book Extrasolar Planets and Their Host Stars by

bigCover of the book Integrated Early Childhood Behavioral Health in Primary Care 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