Zohar Manna
Zohar Manna
9 ספרים במאגר
ספרים
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
Time for VerificationZohar Manna
Time for Verification
Zohar Manna · 2010
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
ספרים משותפים ואוספים
ספרים שבהם Zohar Manna מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.
The Calculus of ComputationAaron R. R. Bradley
The Calculus of Computation
Aaron R. R. Bradley · 2010
The Calculus of Computation: Decision Procedures with Applications to VerificationAaron R. Bradley
The Calculus of Computation: Decision Procedures with Applications to Verification
Aaron R. Bradley · 2007