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
- 1st ed. Softcover of orig. ed. 2007
- ISBN
- 9783642093470
- Språk
- Engelska
- Vikt
- 310 gram
- Utgivningsdatum
- 2010-10-19
- Sidor
- 366
