Mathematical Theory of Computation (Dover Books on Mathematics) - Softcover

Manna, Zohar

Softcover

ISBN 10: 0486432386 ISBN 13: 9780486432380

Verlag: Dover Publications Inc., 2003

Inhaltsangabe

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.

Details zur Ausgabe

• Verlag: Dover Publications Inc.
• Erscheinungsdatum: 2003
• Sprache: Englisch
• ISBN 10: 0486432386
• ISBN 13: 9780486432380
• Einband: Taschenbuch
• Anzahl der Seiten: 464
• Kontakt zum Hersteller: Nicht verfügbar
• Verantwortliche Person: Soc. Agr. La Raia Ss; http://www.la-raia.it; ; Strada Monterotondo, 79; Novi Ligure; 15067; Italien