Applied Logic for Computer Scientists

Computational Deduction and Formal Proofs

Nonfiction, Science & Nature, Mathematics, Logic, Computers, General Computing, Programming

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

Big bigCover of Applied Logic for Computer Scientists

More books from Springer International Publishing

bigCover of the book Korean Women in Leadership by

bigCover of the book Unknown Values and Stakeholders by

bigCover of the book Challenges in Mechanics of Time Dependent Materials, Volume 2 by

bigCover of the book Enterprise Interoperability VI by

bigCover of the book Traveling Irishness in the Long Nineteenth Century by

bigCover of the book The Twenty-First Century Commercial Space Imperative by

bigCover of the book Femininity, Masculinity, and Sexuality in Morocco and Hollywood by

bigCover of the book Computer Vision – ECCV 2018 by

bigCover of the book Trace-Based Post-Silicon Validation for VLSI Circuits by

bigCover of the book Abstract State Machines, Alloy, B, TLA, VDM, and Z by

bigCover of the book Foundations of Programming Languages by

bigCover of the book Thermophilic Carboxydotrophs and their Applications in Biotechnology by

bigCover of the book Lectures in Meteorology by

bigCover of the book Advances in Human Factors and Sustainable Infrastructure 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