Calculus of Computation : Decision Procedures With Applications to Verificati...
75,59 €
Calculus of Computation : Decision Procedures With Applications to Verification, Paperback by Bradley, Aaron R.; Manna, Zohar, ISBN 3642093477, ISBN-13 9783642093470, Brand New, Free shipping in the US This textbook introduces computational logic from the foundations of first-order logic to state-of-the-art decision procedures for arithmetic, data structures, and combination theories. Th also presents a logical approach to engineering correct software.
Jetzt bei Ebay:
