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 System Reduction for Nanoscale IC Design by

bigCover of the book Topics in Modal Analysis & Testing, Volume 9 by

bigCover of the book Convex Analysis and Monotone Operator Theory in Hilbert Spaces by

bigCover of the book Mod Two Homology and Cohomology by

bigCover of the book Memristor Networks by

bigCover of the book Optimization of Behavioral, Biobehavioral, and Biomedical Interventions by

bigCover of the book An Unamendable Constitution? by

bigCover of the book Research and Development in Digital Media by

bigCover of the book MRI of the Female and Male Pelvis by

bigCover of the book Introduction to Programming with Fortran by

bigCover of the book Intelligent Information and Database Systems by

bigCover of the book Pericyte Biology in Disease by

bigCover of the book Time Delay Systems 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