booktheque

Mathematical theory of computation

Zohar Manna · 2003

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
2003
Language
English
Publisher
Dover Publications
Editions
2
Pages
464
ISBN
9780486432380

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
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
Introduction to Mathematical Theory of Computation (Computer Science)
Zohar Manna · 1974