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

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.