Logic-Based Program Synthesis and Transformation

26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016, Revised Selected Papers

Nonfiction, Computers, Programming, Programming Languages, 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 Cloud Computing and Security by

bigCover of the book Lactic Acid in the Food Industry by

bigCover of the book US Firms’ Business Competence in the Taiwanese IT Industry by

bigCover of the book Guanxi, Social Capital and School Choice in China by

bigCover of the book Advanced Logic Synthesis by

bigCover of the book N=2 Supersymmetric Dynamics for Pedestrians by

bigCover of the book Wavelets in Functional Data Analysis by

bigCover of the book Geometric Continuum Mechanics and Induced Beam Theories by

bigCover of the book High Performance Computing in Science and Engineering ´15 by

bigCover of the book Computer Network Security by

bigCover of the book Autonomic Nervous System Dynamics for Mood and Emotional-State Recognition by

bigCover of the book Honneth and Everyday Intercultural (Mis)Recognition by

bigCover of the book The Politics of Islamism 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