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.
1005955435
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.
24.95
In Stock
5
1
Mathematical Theory of Computation
464
Mathematical Theory of Computation
464
24.95
In Stock
Product Details
| ISBN-13: | 9780486432380 |
|---|---|
| Publisher: | Dover Publications |
| Publication date: | 12/24/2003 |
| Series: | Dover Books on Mathematics Series |
| Pages: | 464 |
| Product dimensions: | 5.40(w) x 8.40(h) x 1.00(d) |
From the B&N Reads Blog