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: Paperback
• Language: English
• ISBN: 0486432386
• ISBN13: 9780486432380
• Release Date: December 2003
• Publisher: Dover Publications
• Length: 448 Pages
• Weight: 1.10 lbs.
• Dimensions: 0.9" x 5.5" x 8.4"