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 Natural Disasters and Climate Change by

bigCover of the book Modeling Innovation Sustainability and Technologies by

bigCover of the book Emerging Technology and Architecture for Big-data Analytics by

bigCover of the book Information Systems Architecture and Technology: Proceedings of 37th International Conference on Information Systems Architecture and Technology – ISAT 2016 – Part II by

bigCover of the book Melanoma Development by

bigCover of the book Go Slow and Curvy by

bigCover of the book Simple Relation Algebras by

bigCover of the book Society and Social Pathology by

bigCover of the book Managing Software Crisis: A Smart Way to Enterprise Agility by

bigCover of the book Quaternary Geomorphology in India by

bigCover of the book Big Data and Learning Analytics in Higher Education by

bigCover of the book Human Work Interaction Design. Designing Engaging Automation by

bigCover of the book Scientific Process and Social Issues in Biology Education by

bigCover of the book CMOS 60-GHz and E-band Power Amplifiers and Transmitters by

bigCover of the book Political Asylum Deceptions 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