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 Integrated Reporting by

bigCover of the book Microbial Ecology of Extreme Environments by

bigCover of the book Complex Agent-Based Models by

bigCover of the book Regional Integration in the Global South by

bigCover of the book Empowering Users through Design by

bigCover of the book Modeling and Optimization: Theory and Applications by

bigCover of the book Advances in Latent Variables by

bigCover of the book Prehistoric River Saraswati, Western India by

bigCover of the book The Chemical Bond I by

bigCover of the book Caring Management in the New Economy by

bigCover of the book Micro and Nanomechanics, Volume 5 by

bigCover of the book Models of Mentoring in Language Teacher Education by

bigCover of the book Transnational Activities and Immigrant Integration in Germany by

bigCover of the book Recreational Drug Consumption by

bigCover of the book Multiplicity and Ontology in Deleuze and Badiou 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