Logic-Based Program Synthesis and Transformation

24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. 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 Dermal Drug Selection and Development by

bigCover of the book Systems Biology of Marine Ecosystems by

bigCover of the book The American Press and the Cold War by

bigCover of the book Blood and Marrow Transplant Handbook by

bigCover of the book Solar Assisted Ground Source Heat Pump Solutions by

bigCover of the book Highlights of Practical Applications of Agents, Multi-Agent Systems, and Complexity: The PAAMS Collection by

bigCover of the book Operations Research, Engineering, and Cyber Security by

bigCover of the book Case Management and Care Coordination by

bigCover of the book Market Entry in China by

bigCover of the book Colon Polyps and the Prevention of Colorectal Cancer by

bigCover of the book Kidney Development and Disease by

bigCover of the book Certified Reduced Basis Methods for Parametrized Partial Differential Equations by

bigCover of the book Information Security and Cryptology by

bigCover of the book Preference Disaggregation in Multiple Criteria Decision Analysis by

bigCover of the book Aware Food Choices: Bridging the Gap Between Consumer Knowledge About Nutritional Requirements and Nutritional Information 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