Search - List of Books by Zohar Manna

Total Books: 15
The Calculus of Computation Decision Procedures with Applications to Verification
The Calculus of Computation Decision Procedures with Applications to Verification
Mathematical Theory of Computation
Temporal Verification of Reactive Systems  Safety
The Deductive Foundations of Computer Programming
The Temporal Logic of Reactive and Concurrent Systems Specification
The Logical Basis for Computer Programming Deductive Systems
1990 - The Logical Basis for Computer Programming Deductive Systems [Addison-Wesley Series in Computer Science] (Hardcover)
ISBN-13: 9780201182613
ISBN-10: 0201182610
Genres: Computers & Technology, Science & Math, Substores
  ?

Lectures on the Logic of Computer Programming
1987 - Lectures on the Logic of Computer Programming [CBMS-NSF Regional Conference Series in Applied Mathematics] (Paperback)
ISBN-13: 9780898711646
ISBN-10: 0898711649
Genres: Computers & Technology, Reference, Science & Math
  ?

The Logical Basis for Computer Programming
1985 - The Logical Basis for Computer Programming [Volume 1] (Hardcover)Paperback
ISBN-13: 9780201182606
ISBN-10: 0201182602
Genres: Computers & Technology, Science & Math, Engineering & Transportation
  ?

Mathematical Theory of Computation
Mathematical Theory of Computation [Mcgraw-Hill Computer Science Series] (Hardcover)Paperback
ISBN-13: 9780070399105
ISBN-10: 0070399107
Genres: Reference, Science & Math, Engineering & Transportation
  ?

Introduction to Mathematical Theory of Computation
Introduction to Mathematical Theory of Computation [Computer Science] (Paperback)
ISBN-13: 9780070854666
ISBN-10: 0070854661
  ?