Mathematical Theory of Computation - Paperback

FormatBook

Language English

ISBN-13 / SKU 9780486432380

About this item

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

$34.11

In Stock.