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.
Number of Pages: 448
Dimensions: 0.95 x 8.4 x 5.5 IN
Illustrated: Yes
Publication Date: December 24, 2003