Your cart is empty now.
Report copyright infringement
by Zohar Manna (Author)
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.
Guaranteed safe checkout:
There are 0 Items In Your Cart.
Added to cart successfully!
Total Price: $0.00
