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 Properly Colored Connectivity of Graphs by

bigCover of the book Social Media and Local Governments by

bigCover of the book The Greek Cypriot Nationalist Right in the Era of British Colonialism by

bigCover of the book Coordination in Large-Scale Agile Software Development by

bigCover of the book Pharmacokinetics in Drug Development by

bigCover of the book Non-Linear Finite Element Analysis in Structural Mechanics by

bigCover of the book Family Caregiving by

bigCover of the book Watermarking Techniques for Copyright Protection of Videos by

bigCover of the book Absolute Hospital Medicine Review by

bigCover of the book Chaucerian Ecopoetics by

bigCover of the book Strengthening Teaching and Learning in Research Universities by

bigCover of the book Multi-disciplinary Trends in Artificial Intelligence by

bigCover of the book The Making of Experimental Economics by

bigCover of the book Internet of Things (IoT) Technologies for HealthCare by

bigCover of the book The Legal Technology Guidebook 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