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.
Author: Zohar Manna
Publisher: Dover Publications
Published: 12/24/2003
Pages: 448
Binding Type: Paperback
Weight: 1.07lbs
Size: 8.40h x 5.50w x 0.95d
ISBN13: 9780486432380
ISBN10: 0486432386
BISAC Categories:
- Mathematics | Number Theory
- Computers | Programming | General
Author: Zohar Manna
Publisher: Dover Publications
Published: 12/24/2003
Pages: 448
Binding Type: Paperback
Weight: 1.07lbs
Size: 8.40h x 5.50w x 0.95d
ISBN13: 9780486432380
ISBN10: 0486432386
BISAC Categories:
- Mathematics | Number Theory
- Computers | Programming | General
This title is not returnable