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 Microscale Technologies for Cell Engineering by

bigCover of the book Neoliberalism and Post-Soviet Transition by

bigCover of the book Shell-like Structures by

bigCover of the book Reinforced Polymer Matrix Syntactic Foams by

bigCover of the book Engineering Computation of Structures: The Finite Element Method by

bigCover of the book Short Fibre Reinforced Cementitious Composites and Ceramics by

bigCover of the book Ernst Mach – Zu Leben, Werk und Wirkung by

bigCover of the book The Effects of Political Institutions on Varieties of Capitalism by

bigCover of the book Exploring the Security Landscape: Non-Traditional Security Challenges by

bigCover of the book Routing and Wavelength Assignment for WDM-based Optical Networks by

bigCover of the book Recent Advances in Agent-based Complex Automated Negotiation by

bigCover of the book Optical Switching in Next Generation Data Centers by

bigCover of the book The Intensivist's Challenge by

bigCover of the book School-University Partnerships in English Language Teacher Education by

bigCover of the book Central Asia and the Silk Road 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