Time for VerificationZohar Manna
Time for Verification
Zohar Manna, Doron A. Peled · 2010
Where to buy
Check today’s price on Amazon. We do not show prices because they change daily.
View on AmazonAffiliate link. As an Amazon Associate we earn from qualifying purchases.
Book details
- Year
- 2010
- Language
- English
- Publisher
- Springer London, Limited
- Editions
- 1
- Pages
- 413
- ISBN
- 9783642137549
Data source: Wikidata
More by Zohar Manna
Temporal Verification of Reactive SystemsZohar Manna
Temporal Verification of Reactive Systems
Zohar Manna · 1995
The Temporal Logic of Reactive and Concurrent SystemsZohar Manna
The Temporal Logic of Reactive and Concurrent Systems
Zohar Manna · 1992
Mathematical theory of computationZohar Manna
Mathematical theory of computation
Zohar Manna · 2003
The temporal logic of reactive and concurrent systemsZohar Manna
The temporal logic of reactive and concurrent systems
Zohar Manna · 1991
The logical basis for computer programmingZohar Manna
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
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
Logcl Basis Cmpt Prog V1Zohar Manna
Logcl Basis Cmpt Prog V1
Zohar Manna · 2008
Introduction to Mathematical Theory of Computation (Computer Science)Zohar Manna
Introduction to Mathematical Theory of Computation (Computer Science)
Zohar Manna · 1974