Mathematical Theory of Computation (Dover Books on Mathematics)

Manna, Zohar; Mathematics

ISBN 10: 0486432386 / ISBN 13: 9780486432380

Verlag: Dover Publications, 2003

Beschreibung

A copy that has been read, remains in good condition. All pages are intact, and the cover is intact. The spine and cover show signs of wear. Pages can include notes and highlighting and show signs of wear, and the copy can include "From the library of" labels or previous owner inscriptions. 100% GUARANTEE! Shipped with delivery confirmation, if youâ re not satisfied with purchase please return item for full refund. Ships via media mail.

Bestandsnummer des Verkäufers OTV.0486432386.G

Bibliografische Details

• Titel: Mathematical Theory of Computation (Dover Books on Mathematics)
• Verlag: Dover Publications
• Erscheinungsjahr: 2003
• Sprache: Englisch
• ISBN-10: 0486432386
• ISBN-13: 9780486432380
• Einband: Softcover
• Zustand: good

Über diesen Titel

Inhaltsangabe

With the objective of making into a science the art of verifying computer programs (debugging), the author addresses both practical and theoretical aspects. Subjects include computability (with discussions of finite automata and Turing machines); predicate calculus; verification of programs (bloth flowchart and algol-like programs); flowchart schemas; and the fixpoint theory of programs. 1974 edition. Includes 77 figures.