Skip to main content
PBS logo
 
 

Search - Mathematical Theory of Computation (Mcgraw-Hill Computer Science Series)

Mathematical Theory of Computation (Mcgraw-Hill Computer Science Series)
Mathematical Theory of Computation - Mcgraw-Hill Computer Science Series
Author: Zohar Manna
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 sc...  more »
ISBN-13: 9780070399105
ISBN-10: 0070399107
Pages: 448
Rating:
  ?

0 stars, based on 0 rating
Publisher: Mcgraw-Hill College
Book Type: Hardcover
Members Wishing: 0
Reviews: Amazon | Write a Review


Genres: