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 Intergovernmental Fiscal Relations by

bigCover of the book Researching Second Language Learning and Teaching from a Psycholinguistic Perspective by

bigCover of the book Swarm Robotics: A Formal Approach by

bigCover of the book MicroRNAs and Other Non-Coding RNAs in Inflammation by

bigCover of the book Text Analysis Pipelines by

bigCover of the book Calixarenes and Beyond by

bigCover of the book Mathematics as a Tool by

bigCover of the book Cloud Computing and Security by

bigCover of the book The Intrinsic Bispectrum of the Cosmic Microwave Background by

bigCover of the book Religious Indifference by

bigCover of the book The Palgrave Handbook of Criminology and the Global South by

bigCover of the book Clinical Informatics Board Review and Self Assessment by

bigCover of the book Dynamics of Glassy, Crystalline and Liquid Ionic Conductors by

bigCover of the book Frugal Innovation in Bioengineering for the Detection of Infectious Diseases 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