Logic-Based Program Synthesis and Transformation

25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. 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 Web Information Systems and Technologies by

bigCover of the book Young People's Perspectives on End-of-Life by

bigCover of the book The German Financial System and the Financial and Economic Crisis by

bigCover of the book Influences on the Aufbau by

bigCover of the book Social Foundations of Behavior for the Health Sciences by

bigCover of the book The Female Electrocardiogram by

bigCover of the book Quantitative Modeling of Operational Risk in Finance and Banking Using Possibility Theory by

bigCover of the book Metabolomics: From Fundamentals to Clinical Applications by

bigCover of the book Model Checking Software by

bigCover of the book Intracranial Pressure and Brain Monitoring XV by

bigCover of the book Methods and Modalities of Effective School Inspections by

bigCover of the book Governing Business Systems by

bigCover of the book Buoyancy-Driven Flow in Fluid-Saturated Porous Media near a Bounding Surface by

bigCover of the book An Introduction to Frames and Riesz Bases 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