Tallenna
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.
- Alaotsikko
- Decision Procedures with Applications to Verification
- Kirjailija
- Aaron R. Bradley, Zohar Manna
- Painos
- 1st ed. Softcover of orig. ed. 2007
- ISBN
- 9783642093470
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 19.10.2010
- Sivumäärä
- 366
