The logical basis for computer programmingZohar Manna
The logical basis for computer programming
Zohar Manna, Richard Waldinger, Johar Manna · 1990
איפה לקנות
בדקו את המחיר העדכני באמזון. אנחנו לא מציגים מחירים כי הם משתנים מדי יום.
לצפייה באמזוןקישור שותפים. בתור שותפים של Amazon אנחנו מרוויחים מרכישות מתאימות.
פרטי הספר
- שנה
- 1990
- שפה
- English
- הוצאה
- Addison-Wesley Pub (Sd)
- מהדורות
- 1
- עמודים
- 650
- ISBN
- 9780201182613
מקור הנתונים: 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
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