MATHEMATICAL THEORY OF COMPUTATION (PAPERBACK) IN SOUTH AFRICA

This item is sold brand new. It is ordered on demand from our supplier and is usually dispatched within 7 - 11 working days 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. Features Summary 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 Inc. Release date 20031101 Pages 464 ISBN 0-486-43238-6 ISBN 13 978-0-486-43238-0