Mathematical theory of computation / (Record no. 8770)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 01633nam a2200205 a 4500 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| ISBN | 0486432386 (paperback) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| ISBN | 9780486432380 (paperback) |
| 100 1# - MAIN ENTRY--AUTHOR NAME | |
| Personal name | Manna, Zohar. |
| 245 10 - TITLE STATEMENT | |
| Title | Mathematical theory of computation / |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |
| Place of publication | [S.l.] : |
| Name of publisher | Dover Publications, |
| Year of publication | 1974. |
| 300 ## - PHYSICAL DESCRIPTION | |
| Number of Pages | 480 p. ; |
| 490 1# - SERIES STATEMENT | |
| Series statement | Dover books on mathematics. |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc | With 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# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Mathematics. |
| 856 40 - ELECTRONIC LOCATION AND ACCESS | |
| Uniform Resource Identifier | http://www.amazon.com/exec/obidos/ASIN/0486432386/chopaconline-20 |
| Withdrawn status | Lost status | Permanent Location | Current Location | Date acquired | Full call number | Accession Number | Koha item type |
|---|---|---|---|---|---|---|---|
| Central Library, QUEST, Nawabshah | Central Library, QUEST, Nawabshah | 2014-08-13 | 001.6425MAN | 22533 | Books |