
Mathematical Theory of Computation
Zohar Manna(Author)
Dover Publications Inc. (Publisher)
Published on 24. December 2003
Book
Paperback/Softback
464 pages
978-0-486-43238-0 (ISBN)
Description
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.
More details
Series
Language
English
Place of publication
New York
United States
Product notice
Paperback (trade)
Unsewn / adhesive bound
Illustrations
illustrations
Dimensions
Height: 213 mm
Width: 140 mm
Thickness: 24 mm
Weight
485 gr
ISBN-13
978-0-486-43238-0 (9780486432380)
Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited or by the publishers or by their respective licensors: all rights reserved.
Schweitzer Classification