Logic-Based Program Synthesis and Transformation

24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. 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 Global Water System in the Anthropocene by

bigCover of the book Enterprise and Organizational Modeling and Simulation by

bigCover of the book Models, Simulation, and Experimental Issues in Structural Mechanics by

bigCover of the book The Dynamics of Transculturality by

bigCover of the book The Political Economy of Russian Aluminium by

bigCover of the book Exploratory Data Analysis in Business and Economics by

bigCover of the book Acoustic, Electromagnetic, Neutron Emissions from Fracture and Earthquakes by

bigCover of the book Radio Resource Management Using Geometric Water-Filling by

bigCover of the book The Manual of Strategic Economic Decision Making by

bigCover of the book Discrete Stochastic Processes and Applications by

bigCover of the book Energy Economics: Energy Efficiency in China by

bigCover of the book Mitochondrial Dysfunction in Neurodegenerative Disorders by

bigCover of the book Clinical Management of Pulmonary Disorders and Diseases by

bigCover of the book The Saudi Arabian Monetary Agency, 1952-2016 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