Zohar Manna
Zohar Manna (1939 – 30 August 2018) was an Israeli-American computer scientist who was a professor of computer science at Stanford University. Provided by Wikipedia
Showing 1 - 5 results of 5 for search 'Manna, Zohar', query time: 0.02s
Refine Results
-
1
-
2
The logical basis for computer programming / by 179321 Manna, Zohar, Waldinger, Richard
Published 1985 -
3
Temporal verification of reactive systems : safety / by 179321 Manna, Zohar, Pnueli, Amir
Published 1995 -
4
-
5