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 mODa 11 - Advances in Model-Oriented Design and Analysis by

bigCover of the book Newton’s Sensorium: Anatomy of a Concept by

bigCover of the book Transient Global Amnesia by

bigCover of the book Solar to Chemical Energy Conversion by

bigCover of the book Britain, Europe and Civil Nuclear Energy, 1945–62 by

bigCover of the book Computer Vision – ECCV 2018 Workshops by

bigCover of the book Water Governance in the Face of Global Change by

bigCover of the book Atlas of Graft-versus-Host Disease by

bigCover of the book Procedural Dictations in Image-Guided Intervention by

bigCover of the book 3D Geoinformation Science by

bigCover of the book Diagnostic Test Accuracy Studies in Dementia by

bigCover of the book Describing Verb Valency by

bigCover of the book The Atmosphere and Ionosphere by

bigCover of the book The Positive Side of Occupational Health Psychology by

bigCover of the book The Pedagogy of English as an International Language 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