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 The Soils of Turkey by

bigCover of the book Descriptive Topology and Functional Analysis II by

bigCover of the book Quantum Plasmonics by

bigCover of the book Immunopathology in Toxicology and Drug Development by

bigCover of the book Technologies and Applications for Smart Charging of Electric and Plug-in Hybrid Vehicles by

bigCover of the book Molecular Vaccines by

bigCover of the book Advances in Computational Intelligence by

bigCover of the book Introduction to Annotated Logics by

bigCover of the book Embracing Global Computing in Emerging Economies by

bigCover of the book EPSA15 Selected Papers by

bigCover of the book Respiratory Health by

bigCover of the book Current Progress in Medical Mycology by

bigCover of the book Frontiers in Gynecological Endocrinology by

bigCover of the book The Parameterization Method for Invariant Manifolds by

bigCover of the book Cell Division Machinery and Disease 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