Synopsis
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.
"synopsis" may belong to another edition of this title.
Other Popular Editions of the Same Title
Search results for Mathematical Theory of Computation (McGraw-Hill Computer...
Stock Image
Mathematical Theory of Computation (McGraw-Hill Computer Science Series)
Seller: HPB-Red, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority! Seller Inventory # S_443916815
Stock Image
Introduction to Mathematical Theory of Computation
Seller: Better World Books: West, Reno, NV, U.S.A.
Seller rating 5 out of 5 stars
Condition: Good. Former library book; may include library markings. Used book that is in clean, average condition without any missing pages. Seller Inventory # 5042975-6
Stock Image
Mathematical Theory of Computation (McGraw-Hill Computer Science Series)
Seller: ThriftBooks-Dallas, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less. Seller Inventory # G0070399107I4N00
Stock Image
Mathematical Theory of Computation (McGraw-Hill Computer Science Series)
Seller: ThriftBooks-Dallas, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: Very Good. No Jacket. Missing dust jacket; May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less. Seller Inventory # G0070399107I4N01
Stock Image
Mathematical Theory of Computation (McGraw-Hill Computer Science Series)
Seller: ThriftBooks-Atlanta, AUSTELL, GA, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less. Seller Inventory # G0070399107I3N00
Seller Image
Mathematical Theory of Computation (McGraw-Hill Computer Science Series)
Seller: Solr Books, Lincolnwood, IL, U.S.A.
Seller rating 5 out of 5 stars
Condition: very_good. This books is in Very good condition. There may be a few flaws like shelf wear and some light wear. Seller Inventory # BCV.0070399107.VG
Stock Image
Mathematical Theory of Computation (McGraw-Hill Computer Science Series)
Seller: Studibuch, Stuttgart, Germany
Seller rating 5 out of 5 stars
hardcover. Condition: Befriedigend. Seiten; 9780070399105.4 Gewicht in Gramm: 1. Seller Inventory # 736141
Stock Image
Mathematical Theory of Computation (McGraw-Hill Computer Science Series)
Seller: GoldBooks, Denver, CO, U.S.A.
Seller rating 5 out of 5 stars
Condition: new. Seller Inventory # 7Q85_71_0070399107