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 A Neuro-Psychoanalytical Dialogue for Bridging Freud and the Neurosciences by

bigCover of the book Business and Sustainability by

bigCover of the book Computer Aided Verification by

bigCover of the book Algorithms for Sensor Systems by

bigCover of the book Individualized Medicine by

bigCover of the book Radio Frequency Channel Coding Made Easy by

bigCover of the book Self-organizing Coalitions for Managing Complexity by

bigCover of the book Introduction to Mathematica® for Physicists by

bigCover of the book Male Sex Work in the Digital Age by

bigCover of the book International Disputes and Cultural Ideas in the Canadian Arctic by

bigCover of the book Mathematical Modelling by

bigCover of the book Introduction to Logic Circuits & Logic Design with VHDL by

bigCover of the book Social Entrepreneurship and Tourism by

bigCover of the book Enhancing Reflection within Situated Learning by

bigCover of the book Subalternity vs. Hegemony, Cuba's Outstanding Achievements in Science and Biotechnology, 1959-2014 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