Mathematical theory of computation / Zohar Manna, Mathematics.
By: Manna, Zohar.
Contributor(s): Mathematics.
Material type:
BookSeries: Dover books on mathematics: Publisher: [S.l.] : Dover Publications, 1974Description: 480 p. ; 21 cm.ISBN: 0486432386 (paperback); 9780486432380 (paperback).Online resources: Amazon.com Summary: 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.
| Item type | Current location | Call number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|
Books
|
Central Library, QUEST, Nawabshah
Welcome to the Central Library, QUEST, Nawabshah, Sindh, Pakistan |
001.6425MAN (Browse shelf) | Available | 22533 |
Browsing Central Library, QUEST, Nawabshah Shelves Close shelf browser
| No cover image available | No cover image available | No cover image available | No cover image available | No cover image available | ||||
| 001.6425HEZ Computer information systems | 001.6425ING Using Computers and application software | 001.6425MAL Steps Through FoxPro | 001.6425MAN Mathematical theory of computation / | 001.6425SPE The Manual Word Star | 001.6425WIE Database design / | 001.64289MCA illustrated turbo prolog |
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.
There are no comments for this item.