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.99
Your Price: $44.09 AUD, inc. GST
Shipping: $7.95 per order
You Save: $4.90! (10% off normal price)
Plus...earn $2.20 in Boomerang Bucks
Availability: Available Available, ships in 8-11 days, Not for Xmas



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

Temporal Logic of Reactive and Concurrent Systems by Zohar Manna Temporal Logic of Reactive and Concurrent Systems, Hardback (December 1991)

Reactive systems are computing systems which are interactive, such as real-time systems, operating systems, concurrent systems, and control systems. This volume offers a self-contained introduction to temporal logic and an introduction to the computational model for reactive programs.

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
Temporal Logic of Reactive and Concurrent Systems by Zohar Manna
Lectures on the Logic of Computer Programming by Zohar Manna
»
BoomerangBooks.com.au close