Releases by Zohar Manna

All5
Hardcover Book2
Paperback Book3

In stock at iMusic Show unavailable items

Cover for Zohar Manna · The Temporal Logic of Reactive and Concurrent Systems: Specification (Paperback Book) (2012)

The Temporal Logic of Reactive a... (2012)

Cover for Zohar Manna · Temporal Verification of Reactive Systems: Safety (Paperback Book) (2012)

Temporal Verification of Reactiv... (2012)

Cover for Zohar Manna · Mathematical Theory of Computation - Dover Books on Mathematics (Paperback Book) (2003)

Mathematical Theory of Computati... (2003)

Cover for Zohar Manna · Temporal Verification of Reactive Systems: Safety (Hardcover Book) (1995)

Temporal Verification of Reactiv... (1995)

Cover for Zohar Manna · The Temporal Logic of Reactive and Concurrent Systems: Specification (Hardcover Book) [1992 edition] (1991)

The Temporal Logic of Reactive a... (1991)