Berechnungsrechnung: Entscheidungsverfahren mit Anträgen auf Verifizierung...
51,43 €
Calculus of Computation : Decision Procedures With Applications to Verification, Paperback by Bradley, Aaron R.; Manna, Zohar, ISBN 3642093477, ISBN-13 9783642093470, Brand New, Free P&P in the UK 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:
