Logic-Based Program Synthesis and Transformation

27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, 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 Earth's Heterogeneous Mantle by

bigCover of the book Rational Suicide in the Elderly by

bigCover of the book Positional Plagiocephaly by

bigCover of the book Ted Hughes, Nature and Culture by

bigCover of the book Statistical Language and Speech Processing by

bigCover of the book Controlled Polymerization and Polymeric Structures by

bigCover of the book Dynamic Behavior of Materials, Volume 1 by

bigCover of the book Exercise for Aging Adults by

bigCover of the book Clinical Management of Overweight and Obesity by

bigCover of the book Handbook of Integrative Dermatology by

bigCover of the book Handbook of Rural School Mental Health by

bigCover of the book Liability for Crimes Involving Artificial Intelligence Systems by

bigCover of the book Algorithms and Architectures for Parallel Processing by

bigCover of the book User-Centric Technology Design for Nonprofit and Civic Engagements by

bigCover of the book Biotransformations in Organic Chemistry 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