Mathematical Theory of Computation by Zohar Manna
Look inside with Google Book Preview
Mathematical Theory of Computation
By Zohar Manna

Mathematical Theory of Computation

By (author) See other recent books by Zohar Manna
Format: Paperback

Normal Price: $48.65
Your Price: $43.79 AUD, inc. GST
Shipping: $7.95 per order
You Save: $4.87! (10% off normal price)
Plus...earn $2.19 in Boomerang Bucks
Availability: Available Available, ships in 8-11 days



Mathematical Theory of Computation by Zohar Manna

Book Description

With the objective of making into a science the art of verifying computer programs (debugging), the author addresses both practical and theoretical aspects. Subjects include computability (with discussions of finite automata and Turing machines); predicate calculus; verification of programs (bloth flowchart and algol-like programs); flowchart schemas; and the fixpoint theory of programs. 1974 edition. Includes 77 figures.

Buy Mathematical Theory of Computation book by Zohar Manna from Australia's Online Bookstore, Boomerang Books.


Book Details

ISBN: 9780486432380
ISBN-10: 0486432386
Format: Paperback
(213mm x 140mm x 24mm)
Pages: 464
Imprint: Dover Publications Inc.
Publisher: Dover Publications Inc.
Publish Date: 1-Nov-2003
Country of Publication: United States

Books By Author Zohar Manna

Lectures on the Logic of Computer Programming by Zohar Manna Lectures on the Logic of Computer Programming, Paperback (January 1987)

This monograph deals with aspects of the computer programming process that involve techniques derived from mathematical logic.

» View all books by Zohar Manna

Reviews

» Have you read this book? We'd like to know what you think about it - write a review about Mathematical Theory of Computation book by Zohar Manna and you'll earn 50c in Boomerang Bucks loyalty dollars (you must be a member - it's free to sign up!)

Write a book review


Boomerang Bucks close

For every $20 you spend on books, you will receive $1 in Boomerang Bucks loyalty dollars. You can use your Boomerang Bucks as a credit towards a future purchase from Boomerang Books. Note that you must be a Member (free to sign up) and that conditions do apply.

Recent books by Zohar Manna close
Lectures on the Logic of Computer Programming by Zohar Manna
»
BoomerangBooks.com.au close