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 Clinical Guide to Toilet Training Children by

bigCover of the book Polymer Crystallization I by

bigCover of the book Entrepreneurship Networks in Italy by

bigCover of the book Anatomy of the Superhero Film by

bigCover of the book Wastewater Treatment and Reuse in the Food Industry by

bigCover of the book Engineering Ethics by

bigCover of the book Charge Dynamics in 122 Iron-Based Superconductors by

bigCover of the book Software Engineering and Formal Methods by

bigCover of the book Advancements of Mass Spectrometry in Biomedical Research by

bigCover of the book Growth Factors and Cytokines in Skeletal Muscle Development, Growth, Regeneration and Disease by

bigCover of the book Mechanical Systems by

bigCover of the book Triple-Negative Breast Cancer by

bigCover of the book The Fundamentals of Human Factors Design for Volunteered Geographic Information by

bigCover of the book Attachment Structures and Adhesive Secretions in Arachnids by

bigCover of the book Density-Functional Methods for Excited States 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