FREE HISTORICAL FIGURES OF COMPUTING PROFILE
Zohar Manna
1939–2018 · Computer Scientist
Computer Scientist
Program verification; temporal logic for programs; Mathematical Theory of Computation
FREE HISTORICAL FIGURES OF COMPUTING PROFILE
1939–2018 · Computer Scientist
Program verification; temporal logic for programs; Mathematical Theory of Computation