Close this alert
Mathematical Theory of Computation
Current price:
$24.95
This product is not returnable.
Publication Date: December 24th, 2003
Publisher:
Dover Publications
ISBN:
9780486432380
Pages:
448
Usually Ships in 1 to 5 Days
Description
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.