Mathematical Theory of Computation (Dover Books on Mathematics)
Manna, Zohar; Mathematics
ISBN 10: 0486432386 ISBN 13: 9780486432380
Published by Dover Publications (edition Illustrated), 2003
Used
Paperback
From
BooksRun, Philadelphia, PA, U.S.A.
Seller rating 5 out of 5 stars
AbeBooks Seller since 2 February 2016
This specific item is no longer available.
About this Item
Description:
It's a well-cared-for item that has seen limited use. The item may show minor signs of wear. All the text is legible, with all pages included. It may have slight markings and/or highlighting. Seller Inventory # 0486432386-8-1
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.
Product Description: Mathematical Theory of Computation Attempting to make into a science the art of verifying computer programs (debugging), the author addresses both practical and theoretical aspects. This self-contained treatment includes selected concepts of computability theory and mathematical logic.
"About this title" may belong to another edition of this title.
Bibliographic Details
Title: Mathematical Theory of Computation (Dover ...
Publisher: Dover Publications (edition Illustrated)
Publication Date: 2003
Binding: Paperback
Condition: Very Good
Edition: Illustrated.