Zeige Taschenbuch · Alle anzeigen
Nicht verfügbare Artikel anzeigen

Releases von Zohar Manna

24. Dezember 2003 – 17. Oktober 2012

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)