Logic-Based Program Synthesis and Transformation

26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016, Revised Selected Papers

Nonfiction, Computers, Programming, Programming Languages, 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 Emerging Applications of Control and Systems Theory by

bigCover of the book Democratizing Constitutional Law by

bigCover of the book Big Data Optimization: Recent Developments and Challenges by

bigCover of the book High-Ratio Voltage Conversion in CMOS for Efficient Mains-Connected Standby by

bigCover of the book Lobar Approach to Breast Ultrasound by

bigCover of the book PET/CT in Thyroid Cancer by

bigCover of the book Cañadell's Pediatric Bone Sarcomas by

bigCover of the book Visuality and Identity in Post-millennial Indian Graphic Narratives by

bigCover of the book Pathophysiology of Respiration by

bigCover of the book Change of Time Methods in Quantitative Finance by

bigCover of the book Rationality, Virtue, and Liberation by

bigCover of the book Doing Business in Europe by

bigCover of the book Technologies for Sustainable Development by

bigCover of the book Women in Contemporary Latin American Novels by

bigCover of the book Cryptography and Coding 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