Releases von Zohar Manna

Auf Lager bei iMusic Nicht verfügbare Artikel anzeigen

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

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

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

Temporal Verification of Reactiv... (2012)

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

Mathematical Theory of Computati... (2003)

Cover for Zohar Manna · Temporal Verification of Reactive Systems: Safety (Gebundenes Buch) (1995)

Gebundenes Buch

Temporal Verification of Reactiv... (1995)

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

Gebundenes Buch

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