23 results
Type of media (2)
Availability (3)
Classification (4)
Year
Persons
Publishers
Sort by
Results per page
Filter
23 results

Your search for Zohar Manna

  1. Cover: Temporal Verification of Reactive Systems - Springer
    Zohar Manna | Amir Pnueli
    Temporal Verification of Reactive Systems
    Safety
    12/2012
    Springer
    9781461242222 (ISBN)
    E-Book
    PDF
    Other editions
    €96.29
    Available for download
  2. Cover: The Temporal Logic of Reactive and Concurrent Systems - Springer
    Zohar Manna | Amir Pnueli
    The Temporal Logic of Reactive and Concurrent Systems
    Specification
    12/2012
    Springer
    9781461209317 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  3. Cover: Time for Verification - Springer
    Zohar Manna | Doron A. Peled
    Time for Verification
    Essays in Memory of Amir Pnueli
    06/2010
    Springer
    9783642137549 (ISBN)
    E-Book
    PDF
    Other editions
    €96.29
    Available for download
  4. Cover: The Calculus of Computation - Springer
    Aaron R. Bradley | Zohar Manna
    The Calculus of Computation
    Decision Procedures with Applications to Verification
    09/2007
    1st EDN1st Edition
    Springer
    9783540741138 (ISBN)
    E-Book
    PDF
    Other editions
    €35.69
    Available for download
  5. Cover: The Calculus of Computation - Springer
    Aaron R. Bradley | Zohar Manna
    The Calculus of Computation
    Decision Procedures with Applications to Verification
    09/2007
    Springer
    9783540741121 (ISBN)
    Book
    Hardback
    Other editions
    €80.24
    Shipment within 7-9 days
  6. Cover: The Calculus of Computation - Springer
    Aaron R. Bradley | Zohar Manna
    The Calculus of Computation
    Decision Procedures with Applications to Verification
    10/2010
    Springer
    9783642093470 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days
  7. Cover: The Temporal Logic of Reactive and Concurrent Systems - Springer
    Zohar Manna | Amir Pnueli
    The Temporal Logic of Reactive and Concurrent Systems
    Specification
    12/1991
    Springer
    9780387976648 (ISBN)
    Book
    Hardback
    Other editions
    €117.69
    Shipment within 5-7 days
  8. Cover: Temporal Verification of Reactive Systems - Springer
    Zohar Manna | Amir Pnueli
    Temporal Verification of Reactive Systems
    Safety
    08/1995
    Springer
    9780387944593 (ISBN)
    Book
    Hardback
    Other editions
    €106.99
    Shipment within 5-7 days
  9. Cover: The Temporal Logic of Reactive and Concurrent Systems - Springer
    Zohar Manna | Amir Pnueli
    The Temporal Logic of Reactive and Concurrent Systems
    Specification
    10/2012
    Springer
    9781461269502 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 15-20 days
  10. Cover: Temporal Verification of Reactive Systems - Springer
    Zohar Manna | Amir Pnueli
    Temporal Verification of Reactive Systems
    Safety
    08/2012
    Springer
    9781461287018 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €117.69
    Shipment within 15-20 days
  11. Cover: Time for Verification - Springer
    Zohar Manna | Doron A. Peled
    Time for Verification
    Essays in Memory of Amir Pnueli
    06/2010
    Springer
    9783642137532 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €96.29
    Exhausted; check different version
  12. Cover: Lectures on the Logic of Computer Programming - Society for Industrial & Applied Mathematics,U.S.
    Zohar Manna
    Lectures on the Logic of Computer Programming
    02/1987
    Society for Industrial & Applied Mathematics,U.S.
    9780898711646 (ISBN)
    Book
    Paperback/Softback
    €70.80
    Article not available at the moment
  13. This image is currently not available.
    Zohar Manna | Richard Waldinger
    The Logical Basis for Computer Programming, Volume 1 (paperback)
    Addison Wesley
    9780768682182 (ISBN)
    Book
    Paperback/Softback
    Unfortunately, price unknown
    The article will not be published
  14. This image is currently not available.
    Zohar Manna | Doron A. Peled
    Time for Verification
    03/2011
    Springer
    9783642137556 (ISBN)
    Book
    Paperback/Softback
    €22.99
    Not available
  15. Cover: The Temporal Logic of Reactive and Concurrent Systems - Springer
    Zohar Manna | Amir Pnueli
    The Temporal Logic of Reactive and Concurrent Systems
    12/1991
    Springer
    9781461209324 (ISBN)
    Book
    Paperback/Softback
    €42.99
    Not available
  16. Cover: Mathematical Theory of Computation - Dover Publications Inc.
    Zohar Manna
    Mathematical Theory of Computation
    12/2003
    Dover Publications Inc.
    9780486432380 (ISBN)
    Book
    Paperback/Softback
    €24.00
    Article not available
  17. This image is currently not available.
    Zohar Manna | Amir Pnueli
    The Temporal Logic of Reactive and Concurrent Systems
    Specification
    01/1992
    Springer
    9783540976646 (ISBN)
    Book
    Hardback
    €49.52
    Exhausted; no reprint
  18. Cover: The Deductive Foundations of Computer Programming - Addison Wesley
    Zohar Manna | Richard Waldinger
    The Deductive Foundations of Computer Programming
    04/1993
    Addison Wesley
    9780201548860 (ISBN)
    Book
    Hardback
    €59.41
    Exhausted; no reprint
  19. This image is currently not available.
    Zohar Manna | R. Waldinger
    Studies in Automatic Programming Logic
    01/1978
    Elsevier
    9780444002242 (ISBN)
    Book
    Paperback/Softback
    €44.45
    Exhausted; no reprint
  20. This image is currently not available.
    Zohar Manna
    Introduction to Mathematical Theory of Computation
    01/1974
    McGraw-Hill Inc.,US
    9780070399105 (ISBN)
    Book
    Hardback
    €86.60
    Exhausted; no reprint
    2. of 2