Releases med Zohar Manna

På lager hos iMusic Vis utilgjengelige utgivelser

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

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

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

Temporal Verification of Reactiv... (2012)

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

Mathematical Theory of Computati... (2003)

Cover for Zohar Manna · Temporal Verification of Reactive Systems: Safety (Innbunden bok) (1995)

Temporal Verification of Reactiv... (1995)

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

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