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 European Union Policy-Making by

bigCover of the book Business Models and ICT Technologies for the Fashion Supply Chain by

bigCover of the book Nuclear Energy for Hydrogen Generation through Intermediate Heat Exchangers by

bigCover of the book Domain Adaptation in Computer Vision Applications by

bigCover of the book Strategies in Failure Management by

bigCover of the book Emerging and Young Adulthood by

bigCover of the book Resistance to Targeted ABC Transporters in Cancer by

bigCover of the book Controlling Language in Industry by

bigCover of the book Digital Connectivity and Music Culture by

bigCover of the book Negation and Polarity: Experimental Perspectives by

bigCover of the book New Challenges in Banking and Finance by

bigCover of the book Quantum Waveguides by

bigCover of the book Breast Pathology by

bigCover of the book Ontology Modeling in Physical Asset Integrity Management 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