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 Data-Driven Optimization and Knowledge Discovery for an Enterprise Information System by

bigCover of the book Three-Dimensional Integration of Semiconductors by

bigCover of the book Detecting the Social by

bigCover of the book Advances in Network Systems by

bigCover of the book New Frontiers in Artificial Intelligence by

bigCover of the book Contemporary Masculinities by

bigCover of the book GaP Heteroepitaxy on Si(100) by

bigCover of the book Smart Working, Living and Organising by

bigCover of the book Small Spacecraft Development Project-Based Learning by

bigCover of the book Industrial X-Ray Computed Tomography by

bigCover of the book Complicite, Theatre and Aesthetics by

bigCover of the book Polymer Nanocomposites by

bigCover of the book Research in History and Philosophy of Mathematics by

bigCover of the book Integrated Formal Methods by

bigCover of the book The Role of Prison in Europe 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