Logic-Based Program Synthesis and Transformation

24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. 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 The Vixen Star Book User Guide by

bigCover of the book Biomechanics of Anthropomorphic Systems by

bigCover of the book Applications of Evolutionary Computation by

bigCover of the book Informatics in Control, Automation and Robotics by

bigCover of the book Psychrophiles: From Biodiversity to Biotechnology by

bigCover of the book Assessing the Economic Impact of Tourism by

bigCover of the book Procedural Justice and Legitimacy in Policing by

bigCover of the book Ultrasound Anatomy of Lower Limb Muscles by

bigCover of the book Annual Update in Intensive Care and Emergency Medicine 2016 by

bigCover of the book Euro-Par 2016: Parallel Processing Workshops by

bigCover of the book Cross-Cultural Personal Selling by

bigCover of the book Popular High Culture in Italian Media, 1950–1970 by

bigCover of the book Sociology at the London School of Economics and Political Science, 1904–2015 by

bigCover of the book New Paths of Entrepreneurship Development by

bigCover of the book Automated Firewall Analytics 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