booktheque

Logcl Basis Cmpt Prog V1

Zohar Manna, Richard Waldinger · 2008

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
2008
Language
English
Publisher
Pearson Education, Limited
Editions
1
Pages
632
ISBN
9780768682182

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