| 000 | 01633nam a2200205 a 4500 | ||
|---|---|---|---|
| 001 | ASIN0486432386 | ||
| 005 | 20140813174400.0 | ||
| 008 | 140813s2003 xxu eng d | ||
| 020 |
_a0486432386 (paperback) _c$24.95 |
||
| 020 | _a9780486432380 (paperback) | ||
| 100 | 1 | _aManna, Zohar. | |
| 245 | 1 | 0 |
_aMathematical theory of computation / _cZohar Manna, Mathematics. |
| 260 |
_a[S.l.] : _bDover Publications, _c1974. |
||
| 300 |
_a480 p. ; _c21 cm. |
||
| 490 | 1 | _aDover books on mathematics. | |
| 520 | _aWith the objective of making into a science the art of verifying computer programs (debugging), the author addresses both practical and theoretical aspects of the process. A classic of sequential program verification, this volume has been translated into almost a dozen other languages and is much in demand among graduate and advanced undergraduate computer science students. Subjects include computability (with discussions of finite automata and Turing machines); predicate calculus (basic notions, natural deduction, and the resolution method); verification of programs (both flowchart and algol-like programs); flowchart schemas (basic notions, decision problems, formalization in predicate calculus, and translation programs); and the fixpoint theory of programs (functions and functionals, recursive programs, and verification programs). The treamtent is self-contained, and each chapter concludes with bibliographic remarks, references, and problems. | ||
| 700 | 1 | _aMathematics. | |
| 830 | 0 | _aDover books on mathematics. | |
| 856 | 4 | 0 |
_3Amazon.com _uhttp://www.amazon.com/exec/obidos/ASIN/0486432386/chopaconline-20 |
| 999 |
_c8770 _d8770 |
||