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 Boolean Representations of Simplicial Complexes and Matroids by

bigCover of the book Incorporation of Heterocycles into Combinatorial Chemistry by

bigCover of the book Theism and Atheism in a Post-Secular Age by

bigCover of the book Synergy Value and Strategic Management by

bigCover of the book Fundamentals of Statistical Hydrology by

bigCover of the book Piezo-Electric Electro-Acoustic Transducers by

bigCover of the book Neoliberalism and the Changing Face of Unionism by

bigCover of the book Gynecological Cancers by

bigCover of the book The Hypothetical Species by

bigCover of the book Leadership and Literacy by

bigCover of the book Noise and Vibration in Friction Systems by

bigCover of the book Thermodynamics and Morphodynamics in Wave Energy by

bigCover of the book Emerging Issues in Global Marketing by

bigCover of the book The Objective Monitoring of Physical Activity: Contributions of Accelerometry to Epidemiology, Exercise Science and Rehabilitation 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