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 Energy Solutions to Combat Global Warming by

bigCover of the book Musculoskeletal Health in Pregnancy and Postpartum by

bigCover of the book Elections, Voting Rules and Paradoxical Outcomes by

bigCover of the book Functional Analysis by

bigCover of the book Parenting as Spiritual Practice and Source for Theology by

bigCover of the book Antimicrobial Coatings and Modifications on Medical Devices by

bigCover of the book Interfacial Wave Theory of Pattern Formation in Solidification by

bigCover of the book Jesuit Contribution to Science by

bigCover of the book Chemistry and Technology of Yoghurt Fermentation by

bigCover of the book Search-Based Software Engineering by

bigCover of the book Parallel Robots With Unconventional Joints by

bigCover of the book Computational Science and Its Applications – ICCSA 2017 by

bigCover of the book Optimization and Decision Support Systems for Supply Chains by

bigCover of the book Programming Languages and Systems by

bigCover of the book Complex Networks & Their Applications VI 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