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 Pharmacological Assays of Plant-Based Natural Products by

bigCover of the book Expressions of Radicalization by

bigCover of the book mHealth Ecosystems and Social Networks in Healthcare by

bigCover of the book Nonlinear Systems, Vol. 2 by

bigCover of the book American Jewish Year Book 2013 by

bigCover of the book Viscometry for Liquids by

bigCover of the book Alexander L. George: A Pioneer in Political and Social Sciences by

bigCover of the book Naturalists, Explorers and Field Scientists in South-East Asia and Australasia by

bigCover of the book Python For ArcGIS by

bigCover of the book Analog-to-Digital Conversion by

bigCover of the book New Directions in Supernatural Horror Literature by

bigCover of the book Evolution of Central Banking? by

bigCover of the book Quantum Spin Systems on Infinite Lattices by

bigCover of the book Advances in Bio-Mechanical Systems and Materials 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