Decision Procedures with Applications to Verification
Omschrijving
Written with graduate and advanced undergraduate students in mind, 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.
Ik heb een vraag over het boek: ‘The Calculus of Computation - Bradley, Aaron R., Manna, Zohar’.
Vul het onderstaande formulier in.
We zullen zo spoedig mogelijk antwoorden.
