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 Low Threshold Organic Semiconductor Lasers by

bigCover of the book Biofilm-based Healthcare-associated Infections by

bigCover of the book Statistics for Mathematicians by

bigCover of the book Enforcing Privacy by

bigCover of the book Enzymatic Synthesis of Structured Triglycerides by

bigCover of the book Fractal Elements and their Applications by

bigCover of the book The Role of Mechanics in the Study of Lipid Bilayers by

bigCover of the book Interpreting Plato Socratically by

bigCover of the book Sensors, Algorithms and Applications for Structural Health Monitoring by

bigCover of the book Mathematician for All Seasons by

bigCover of the book Interpretations of Luxury by

bigCover of the book Managing Consumer Services by

bigCover of the book Surprise: An Emotion? by

bigCover of the book Theory is History 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