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 Information Granularity, Big Data, and Computational Intelligence by

bigCover of the book Simulation and Synthesis in Medical Imaging by

bigCover of the book Characterizing Entanglement and Quantum Correlations Constrained by Symmetry by

bigCover of the book An Introduction to Differential Manifolds by

bigCover of the book Women's Mental Health by

bigCover of the book Religion, Crime and Punishment by

bigCover of the book Advances in ICT for Business, Industry and Public Sector by

bigCover of the book Regional Cooperation in South Asia by

bigCover of the book Making Sense of Quantum Mechanics by

bigCover of the book Level Set and PDE Based Reconstruction Methods in Imaging by

bigCover of the book Trilingual Education in Hong Kong Primary Schools by

bigCover of the book Safety of Biologics Therapy by

bigCover of the book Transforming Mathematics Instruction by

bigCover of the book The Sociology of Shari’a: Case Studies from around the World 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