Inbunden Bok Pocketbok

I lager hos iMusic

Visa slutsålda utgivelser

Releases med Zohar Manna

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 (Inbunden Bok) (1995)

Temporal Verification of Reactiv... (1995)

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

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