Skip to main content
PBS logo
 
 

Search - List of Books by Zohar Manna

Total Books: 15
The Calculus of Computation Decision Procedures with Applications to Verification
2010 - The Calculus of Computation Decision Procedures with Applications to Verification (Paperback) → Hardcover
ISBN-13: 9783642093470
ISBN-10: 3642093477
  ?
The Calculus of Computation Decision Procedures with Applications to Verification
2007 - The Calculus of Computation Decision Procedures with Applications to Verification (Hardcover) → Paperback
ISBN-13: 9783540741121
ISBN-10: 3540741127
Genres: Computers & Technology, Reference, Science & Math
  ?
Mathematical Theory of Computation
2003 - Mathematical Theory of Computation (Paperback)
ISBN-13: 9780486432380
ISBN-10: 0486432386
Genres: Computers & Technology, Science & Math, Engineering & Transportation
  ?
Temporal Verification of Reactive Systems Safety
1995 - Temporal Verification of Reactive Systems Safety (Hardcover)
ISBN-13: 9780387944593
ISBN-10: 0387944591
Genres: Computers & Technology, Science & Math, Engineering & Transportation, Substores
  ?
The Deductive Foundations of Computer Programming
1993 - The Deductive Foundations of Computer Programming (Paperback)
ISBN-13: 9780201548860
ISBN-10: 0201548860
Genres: Computers & Technology, Science & Math, Engineering & Transportation, Substores
  ?
The Temporal Logic of Reactive and Concurrent Systems Specification
1991 - The Temporal Logic of Reactive and Concurrent Systems Specification (Hardcover) → Hardcover
ISBN-13: 9780387976648
ISBN-10: 0387976647
Genres: Computers & Technology, Reference, Science & Math
  ?
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)
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)
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
  ?
Studies in Automatic Programming Logic
Studies in Automatic Programming Logic [Artificial Intelligence] (Hardcover)
ISBN-13: 9780444002242
ISBN-10: 0444002243
Genres: Reference, Science & Math
  ?

Back to the Top ↑
By using this Web site, you confirm that you have read, understood, and agreed to be bound by the Terms of Use. As an Amazon Associate we earn from qualifying purchases.
US Patent Number 7,877,315 | Copyright © 2004 - 2024 PaperBackSwap.com. All Rights Reserved.