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 Secular Nationalism and Citizenship in Muslim Countries by

bigCover of the book Acoustic Investigation of Complex Seabeds by

bigCover of the book A Starter on Support-Bargaining and Money-Bargaining in Twenty-Eight Digestible Bites by

bigCover of the book Global Governance of Intellectual Property in the 21st Century by

bigCover of the book Distributed, Ambient and Pervasive Interactions by

bigCover of the book U.S. Government Contractors and Human Trafficking by

bigCover of the book Dry Etching Technology for Semiconductors by

bigCover of the book Surface Modified Carbons as Scavengers for Fluoride from Water by

bigCover of the book Introduction to Hybrid Intelligent Networks by

bigCover of the book Risks and Security of Internet and Systems by

bigCover of the book Power Politics in Asia’s Contested Waters by

bigCover of the book Cerebrospinal Fluid in Clinical Neurology by

bigCover of the book Carl Friedrich von Weizsäcker: Major Texts in Philosophy by

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

bigCover of the book Web Services – ICWS 2018 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