You are here
Back to topMathematical Theory of Computation (Paperback)
$24.95
Usually Ships in 1-5 Days
(This book cannot be returned.)
(This book cannot be returned.)
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.