Time for VerificationZohar Manna
Time for Verification
Zohar Manna, Doron A. Peled · 2010
איפה לקנות
בדקו את המחיר העדכני באמזון. אנחנו לא מציגים מחירים כי הם משתנים מדי יום.
לצפייה באמזוןקישור שותפים. בתור שותפים של Amazon אנחנו מרוויחים מרכישות מתאימות.
פרטי הספר
- שנה
- 2010
- שפה
- English
- הוצאה
- Springer London, Limited
- מהדורות
- 1
- עמודים
- 413
- ISBN
- 9783642137549
מקור הנתונים: Wikidata
עוד של 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