Berechnungsrechnung: Entscheidungsverfahren mit Anträgen auf Verifizierung...
76,71 €
Calculus of Computation : Decision Procedures With Applications to Verification, Hardcover by Bradley, Aaron R.; Manna, Zohar, ISBN 3540741127, ISBN-13 9783540741121, Brand New, Free P&P in the UK Computational logic is a growing field with applications in artificial intelligence, constraint solving, and the design and verification of software and hardware systems. This book introduces computational logic from the foundations of first-order logic to decision procedures for arithmetic, data structures, and combination theories.
Jetzt bei Ebay:
