Mathematical Theory of Computation - Brossura

Manna, Zohar

Brossura

ISBN 10: 0486432386 ISBN 13: 9780486432380

Casa editrice: Dover Pubns, 2003

Riassunto

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.

Su questo libro

Contenuti

Preface 1. Computability 2. Predicate Calculus 3. Verification of Programs 4. Flowchart Schemas 5. The Fixpoint Theory of Programs Indexes

Product Description

Book by Manna Zohar Mathematics

Dettagli dell'edizione

• Editore: Dover Pubns
• Data di pubblicazione: 2003
• Lingua: Inglese
• ISBN 10: 0486432386
• ISBN 13: 9780486432380
• Rilegatura: Copertina flessibile
• Numero di pagine: 464
• Contatto del produttore: non disponibile
• Persona responsabile: Soc. Agr. La Raia Ss; http://www.la-raia.it; ; Strada Monterotondo, 79; Novi Ligure; 15067; Italia