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 Conceptual Design by

bigCover of the book Bioactive Compounds in Agricultural Soils by

bigCover of the book Electronic Participation by

bigCover of the book Understanding China Today by

bigCover of the book The New Anti-Money Laundering Law by

bigCover of the book A Topological Introduction to Nonlinear Analysis by

bigCover of the book Dynamics of Civil Structures, Volume 2 by

bigCover of the book The Roles of Remote Sensing in Nature Conservation by

bigCover of the book Mathematical Cultures by

bigCover of the book Euglena: Biochemistry, Cell and Molecular Biology by

bigCover of the book R2P and the US Intervention in Libya by

bigCover of the book Euclidean Distance Geometry by

bigCover of the book Social Entrepreneurship as Sustainable Development by

bigCover of the book Next Generation Sequencing Based Clinical Molecular Diagnosis of Human Genetic Disorders by

bigCover of the book Advances in Integrated and Sustainable Supply Chain Planning 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