Der Perlentaucher unter den Buchläden

Genauer suchen ( Treffer)
Filter schließen ( Treffer)

Sie haben nach manna, zohar gesucht

Gefundene Autoren: Zohar Manna

  1. The Temporal Logic of Reactive and Concurrent Systems
    eng
    Amir Pnueli / Zohar Manna
    The Temporal Logic of Reactive and Concurrent Systems
    Specification
    • Springer New York
    • 2012
    • Taschenbuch
    • 444 Seiten
    53,49€

    in Kürze

    Reactive systems are computing systems which are interactive, such as real- time systems, operating systems, concurrent systems, control systems, etc…
  2. Temporal Verification of Reactive Systems
    eng
    Amir Pnueli / Zohar Manna
    Temporal Verification of Reactive Systems
    Safety
    • Springer New York
    • 2012
    • Taschenbuch
    • 536 Seiten
    117,69€

    in Kürze

    This book is about the verification of reactive systems. A reactive system is a system that maintains an ongoing interaction with its environment, as…
  3. The Calculus of Computation
    eng
    Zohar Manna / Aaron R. Bradley
    The Calculus of Computation
    Decision Procedures with Applications to Verification
    • Springer Berlin Heidelberg
    • 2010
    • Taschenbuch
    • 384 Seiten
    53,49€

    in Kürze

    Written with graduate and advanced undergraduate students in mind, this textbook introduces computational logic from the foundations of first-order l…
  4. Mathematical Theory of Computation
    eng
    Zohar Manna
    Mathematical Theory of Computation
    • Dover Publications
    • 2003
    • Taschenbuch
    • 448 Seiten
    25,50€

    Etwa 20 Tage

    With the objective of making into a science the art of verifying computer programs (debugging), the author addresses both practical and theoretical a…
  5. Temporal Verification of Reactive Systems
    eng
    Amir Pnueli / Zohar Manna
    Temporal Verification of Reactive Systems
    Safety
    • Springer New York
    • 1995
    • Gebunden
    • 532 Seiten
    106,99€

    in Kürze

    This book is about the verification of reactive systems. A reactive system is a system that maintains an ongoing interaction with its environment, as…
  6. The Temporal Logic of Reactive and Concurrent Systems
    eng
    Amir Pnueli / Zohar Manna
    The Temporal Logic of Reactive and Concurrent Systems
    Specification
    • Springer New York
    • 1991
    • Gebunden
    • 446 Seiten
    117,69€

    in Kürze

    Reactive systems are computing systems which are interactive, such as real- time systems, operating systems, concurrent systems, control systems, etc…