کتاب های Zohar Manna
درباره نویسنده
Mathematical Theory of Computation
Zohar Manna, 1974
Lectures on the logic of computer programming
Zohar Manna, 1987
Lectures on the logic of computer programming
Zohar Manna, 1987
Lectures on the logic of computer programming
Zohar Manna, 1987
Lectures on the Logic of Computer Programming
Zohar Manna, 1987
Lectures on the Logic of Computer Programming
Zohar Manna, 1980
Lectures on the Logic of Computer Programming
Zohar Manna, 1987
Mathematical Theory of Computation
Zohar Manna, 2003
Temporal Verification of Reactive Systems: Safety
Zohar Manna, 1995
The Temporal Logic of Reactive and Concurrent Systems: Specification
Zohar Manna, 1991
