Logic-Based Program Synthesis and Transformation

27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, 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 Contemporary Trends and Challenges in Finance by

bigCover of the book Advances in Pulmonary Medicine: Research and Innovations by

bigCover of the book Diagnosis and Management of Craniopharyngiomas by

bigCover of the book Innovative Security Solutions for Information Technology and Communications by

bigCover of the book Biotechnology of Natural Products by

bigCover of the book Growth Factors and Cytokines in Skeletal Muscle Development, Growth, Regeneration and Disease by

bigCover of the book Decision and Game Theory for Security by

bigCover of the book Veterinary Forensic Pathology, Volume 2 by

bigCover of the book Chatter and Machine Tools by

bigCover of the book Leakage Resilient Password Systems by

bigCover of the book Thermal Degradation of Polymer Blends, Composites and Nanocomposites by

bigCover of the book Annual Update in Intensive Care and Emergency Medicine 2017 by

bigCover of the book Reversible Computation by

bigCover of the book A Philosophy of Schooling 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