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 Piezoelectric Ceramic Resonators by

bigCover of the book Recent Advances in Traffic Engineering for Transport Networks and Systems by

bigCover of the book Trends in Applied Knowledge-Based Systems and Data Science by

bigCover of the book New Advances in Mechanisms, Mechanical Transmissions and Robotics by

bigCover of the book Commercializing Cosmopolitan Security by

bigCover of the book Minimally Invasive Bariatric and Metabolic Surgery by

bigCover of the book Rolling Contact Fatigue in a Vacuum by

bigCover of the book Artificial Intelligence and Soft Computing by

bigCover of the book Solidarity and the 'Refugee Crisis' in Europe by

bigCover of the book Learning Technologies and Globalization by

bigCover of the book HCI in Business, Government and Organizations. Information Systems and Analytics by

bigCover of the book Origins and Originality in Family Therapy and Systemic Practice by

bigCover of the book Respiratory Treatment and Prevention by

bigCover of the book Computer Information Systems and Industrial Management by

bigCover of the book Galileo and the Equations of Motion 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