Mathematical Theory of Computation (9780486432380)

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.

Product details

• Format Paperback | 464 pages
• Dimensions 140 x 213 x 24mm | 485g
• Publication date 24 Dec 2003
• Publisher Dover Publications Inc.
• Publication City/Country New York, United States
• Language English
• Illustrations note 79 figs.
• ISBN10 0486432386
• ISBN13 9780486432380
• Bestsellers rank 736,339

Download Mathematical Theory of Computation (9780486432380).pdf, available at ebookdownloadfree.co for free.

>DOWNLOAD FREE NOW<