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
איפה לקנות
המחיר באמזון משתנה מדי יום, אז הכי נכון לראות אותו שם ברגע הקנייה.
לצפייה באמזוןזה קישור שותפים: כשקונים דרכו, האתר מקבל עמלה קטנה בלי תוספת במחיר עבורכם, וזה עוזר לנו להביא תוכן איכותי ולתחזק את האתר. בתור שותפים של Amazon אנחנו מרוויחים מרכישות מתאימות.
פרטי הספר
- שנה
- 1987
- שפה
- English
- הוצאה
- Society for Industrial Mathematics
- מהדורות
- 1
- עמודים
- 53
- ISBN
- 9780898711646
מקור הנתונים: 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
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