Paperback Books

Make: FPGAs - by David Romano (Paperback)

Logic in Games - by Johan Van Benthem (Paperback)

Formal Methods in Programming and Their Applications - (Lecture Notes in Computer Science) by Dines Bjørner & Manfred Broy & Igor V Pottosin

Computer Aided Verification - (Lecture Notes in Computer Science) by Nicolas Halbwachs & Doron Peled (Paperback)

Unifying Theories of Programming - by Shengchao Qin (Paperback)

Learning FPGAs - by Justin Rajewski (Paperback)

Fsttcs 2005: Foundations of Software Technology and Theoretical Computer Science - by R Ramanujam & Sandeep Sen (Paperback)

Specifying Message Passing and Time-Critical Systems with Temporal Logic - (Lecture Notes in Computer Science) by Ron Koymans (Paperback)

Algebraic Informatics - by Symeon Bozapalidis & George Rahonis (Paperback)

Verification, Model Checking, and Abstract Interpretation - (Lecture Notes in Computer Science) by Bernhard Steffen & Giorgio Levi (Paperback)

Fst Tcs 2003: Foundations of Software Technology and Theoretical Computer Science - (Lecture Notes in Computer Science) (Paperback)

Interactive Theorem Proving - by Matt Kaufmann & Lawrence C Paulson (Paperback)

Mathematics of Program Construction - by Claude Bolduc & Jules Desharnais & Bechir Ktari (Paperback)