

The Calculus of Computation
Kurzinformation



inkl. MwSt. Versandinformationen
Artikel zZt. nicht lieferbar
Artikel zZt. nicht lieferbar

Beschreibung
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. The textbook also presents a logical approach to engineering correct software. Verification exercises are given to develop the reader's facility in specifying and verifying software using logic. The treatment of verification concludes with an introduction to the static analysis of software, an important component of modern verification systems. The final chapter outlines courses of further study. von Bradley, Aaron R. und Manna, Zohar
Produktdetails

So garantieren wir Dir zu jeder Zeit Premiumqualität.
Über den Autor
- paperback
- 206 Seiten
- Erschienen 1989
- Springer
- hardcover
- 797 Seiten
- Erschienen 1981
- Academic Press Inc
- hardcover
- 1152 Seiten
- Erschienen 2013
- Prentice Hall
- hardcover
- 1184 Seiten
- Erschienen 1994
- Brooks/Cole
- hardcover
- 1142 Seiten
- Erschienen 2009
- Houghton Mifflin
- paperback
- 296 Seiten
- Erschienen 2008
- Springer
- Gebunden
- 508 Seiten
- Erschienen 2004
- Springer
- Gebunden
- 652 Seiten
- Erschienen 2004
- Springer
- paperback
- 288 Seiten
- Erschienen 2023
- Orell Füssli Verlag
- hardcover
- 292 Seiten
- Erschienen 2006
- American Mathematical Society
- Gebunden
- 1312 Seiten
- Erschienen 2013
- Brooks/Cole
- Hardcover
- 300 Seiten
- Erschienen 1971
- Springer
- paperback
- 640 Seiten
- Erschienen 2001
- John Wiley & Sons Inc
- paperback
- 278 Seiten
- Erschienen 2011
- CreateSpace Independent Pub...
- Kartoniert
- 204 Seiten
- Erschienen 2007
- Springer
- hardcover
- 608 Seiten
- Erschienen 1992
- Springer
- paperback
- 340 Seiten
- Erschienen 1999
- Palgrave