Mathematical Theory of Computation (Paperback)

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
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!