Most Popular Books
- The Logical Basis for Computer Programming, Volume 1 (Addison-Wesley Series in Computer Science)
- The Temporal Logic of Reactive and Concurrent Systems: Specification
- Mathematical Theory of Computation
- Temporal Verification of Reactive Systems: Safety
- The Calculus of Computation: Decision Procedures with Applications to Verification
Similar Authors To Zohar Manna
- Peter Burger
- Judy Kay
- Charles Edward Hughes
- Stuart Hirshfield
- David Shreiner
- Joseph D. Gradecki
- Robert D. Holtz
- R. Nigel Horspool
- Kathe Spracklen
- Wendy Slatkin
- Moorad Choudhry
- Peter Bürger
- Henry M. Levy
- Gerald B. Folland
- Zohar Marra
- Aaron R. Bradley
- Richard Waldinger
- Coopers & Lybrand
- Joe Gradecki
- William D. Kovacs
