booktheque

Introduction to Mathematical Theory of Computation (Computer Science)

Zohar Manna · 1974

Where to buy

Amazon’s price changes daily, so the most accurate place to see it is there, at the moment you buy.

View on Amazon

Book details

Year
1974
Publisher
McGraw-Hill Education
Editions
1
ISBN
9780070854666

Data source: Wikidata

More by Zohar Manna

Temporal Verification of Reactive Systems
Zohar Manna · 1995
The Temporal Logic of Reactive and Concurrent Systems
Zohar Manna · 1992
Mathematical theory of computation
Zohar Manna · 2003
The temporal logic of reactive and concurrent systems
Zohar Manna · 1991
The logical basis for computer programming
Zohar Manna · 1990
Lectures on the Logic of Computer Programming (CBMS-NSF Regional Conference Series in Applied Mathematics) (CBMS-NSF Regional Conference Series in Applied Mathematics)
Zohar Manna · 1987
Time for Verification
Zohar Manna · 2010
Logcl Basis Cmpt Prog V1
Zohar Manna · 2008