Defining his subject as making the art of verifying computer programs (debugging) into a science, the author addresses both practical and theoretical aspects of the process. A self-contained treatment, it includes selected concepts of computability theory and mathematical logic, and each chapter concludes with bibliographic remarks, references, and problems. This book is a classic text on sequential program verification; it has been widely translated from the original Hebrew and is much in demand among graduate students in the field of computer science (it may also be used as an undergraduate text for advanced classes). Unabridged republication of the edition published by McGraw-Hill, New York, 1974.
General
| Imprint: |
Dover Publications Inc.
|
| Country of origin: |
United States |
| Series: |
Dover Books on Mathematics |
| Release date: |
November 2003 |
| First published: |
December 2003 |
| Authors: |
Zohar Manna
|
| Dimensions: |
213 x 140 x 24mm (L x W x T) |
| Format: |
Paperback
|
| Pages: |
464 |
| ISBN-13: |
978-0-486-43238-0 |
| Categories: |
Books >
Science & Mathematics >
Mathematics >
General
Promotions
|
| LSN: |
0-486-43238-6 |
| Barcode: |
9780486432380 |
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
