Logic-Based Program Synthesis and Transformation

26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016, Revised Selected Papers

Nonfiction, Computers, Programming, Programming Languages, 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 Dispersion Relations in Heavily-Doped Nanostructures by

bigCover of the book Yeast Membrane Transport by

bigCover of the book Cancer Biomarkers in Body Fluids by

bigCover of the book Applications of Chalcogenides: S, Se, and Te by

bigCover of the book Dynamics in Logistics by

bigCover of the book Behavioral Analysis of Maternal Filicide by

bigCover of the book Applying Critical Social Theories to Family Therapy Practice by

bigCover of the book The Generalized Multipole Technique for Light Scattering by

bigCover of the book Treatment and Management of Maladaptive Schemas by

bigCover of the book Atlantic Water in the Nordic Seas by

bigCover of the book Nanoscale Sensors by

bigCover of the book Information Security Applications by

bigCover of the book Gender in Spanish Urban Spaces by

bigCover of the book Unifying Theories of Programming by

bigCover of the book Today’s Youth and Mental Health 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