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 Desistance from Sexual Offending by

bigCover of the book Cardiac Biomarkers by

bigCover of the book Flexible Approaches in Data, Information and Knowledge Management by

bigCover of the book Information Systems for Crisis Response and Management in Mediterranean Countries by

bigCover of the book Heat Transfer of Laminar Mixed Convection of Liquid by

bigCover of the book Uses of Technology in Primary and Secondary Mathematics Education by

bigCover of the book Ergodic Optimization in the Expanding Case by

bigCover of the book Nanobiotechnology in Bioformulations by

bigCover of the book Digital Subsampling Phase Lock Techniques for Frequency Synthesis and Polar Transmission by

bigCover of the book Advanced Ceramic and Metallic Coating and Thin Film Materials for Energy and Environmental Applications by

bigCover of the book Gene Expression Systems in Fungi: Advancements and Applications by

bigCover of the book Childhood, Youth and Migration by

bigCover of the book Flinovia - Flow Induced Noise and Vibration Issues and Aspects by

bigCover of the book Social Environmental Conflicts in Mexico by

bigCover of the book Lecture Notes on Wavelet Transforms 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