Spara
The Calculus of Computation
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. The book also presents a logical approach to engineering correct software.
- Undertitel
- Decision Procedures with Applications to Verification
- Författare
- Aaron R. Bradley, Zohar Manna
- Upplaga
- 2007 ed.
- ISBN
- 9783540741121
- Språk
- Engelska
- Vikt
- 446 gram
- Utgivningsdatum
- 2007-09-03
- Sidor
- 366
