Zohar Manna
6 published titles
Mathematical theory of computation
1 edition
- ISBN: 0070399107
- McGraw-Hill
- 1976
- Details
Studies in automatic programming logic
1 edition
- ISBN: 0444002243
- North-Holland Publishing Co.
- 1977
- Details
The logical basis for computer programming
2 editions
- ISBN: 0201182602
- Addison-Wesley
- 1985
- Details
- ISBN: 0201182610
- Addison-Wesley
- 1990
- Details
The deductive foundations of computer programming
1 edition
- ISBN: 0201548860
- Addison-Wesley
- 1993
- Details
Temporal verification of reactive systems : safety
1 edition
- ISBN: 0387944591
- Springer
- 1995
- Details
Verification : theory and practice : essays dedicated to Zohar Manna on the occasion of his 64th birthday
(Contributor)
1 edition
- ISBN: 3540210024
- Springer
- 2004
- Details