Mathematical Theory of Computation

by Zohar Manna

Book Overview

With the objective of making into a science the art of verifying computer programs (debugging), the author addresses both practical and theoretical aspects of the process. A classic of sequential... This description may be from another edition of this product.

• Format: Hardcover
• Language: English
• ISBN: 0070399107
• ISBN13: 9780070399105
• Release Date: January 1974
• Publisher: McGraw-Hill Companies
• Length: 448 Pages
• Weight: 1.55 lbs.