Logic-Based Program Synthesis and Transformation

25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. 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 Games and Learning Alliance by

bigCover of the book Civil War and Uncivil Development by

bigCover of the book Football, Gambling, and Money Laundering by

bigCover of the book Logic Synthesis for FPGA-Based Finite State Machines by

bigCover of the book Epistemology, Ethics, and Meaning in Unusually Personal Scholarship by

bigCover of the book The Protection of Traditional Cultural Expressions in Africa by

bigCover of the book Computer-Assisted Musculoskeletal Surgery by

bigCover of the book Pattern Recognition Applications and Methods by

bigCover of the book Demographic Analysis of Latin American Immigrants in Spain by

bigCover of the book Capital Structure in the Modern World by

bigCover of the book Interleukin 12: Antitumor Activity and Immunotherapeutic Potential in Oncology by

bigCover of the book The Low Carbon Economy by

bigCover of the book Intelligent Human Computer Interaction 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