You are here
Back to topMathematical Theory of Computation (Paperback)
List Price: $24.95
Our Price: $19.96
(Save: $4.99 20%)
Usually Ships in 1-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.