Zohar Manna - Böcker

Visar alla böcker från författaren Zohar Manna.
8 produkter
Zohar Manna, Amir Pnueli - Temporal Verification of Reactive Systems, Inbunden

Temporal Verification of Reactive Systems

Av Zohar Manna, Amir Pnueli

Inbunden, Engelska, 1995

1 459 kr

Skickas inom 7-10 vardagar
Zohar Manna, Amir Pnueli - Temporal Logic of Reactive and Concurrent Systems, Inbunden

Temporal Logic of Reactive and Concurrent Systems

Av Zohar Manna, Amir Pnueli

Inbunden, Engelska, 1991

1 609 kr

Skickas inom 7-10 vardagar
Zohar Manna - Mathematical Theory of Computation, Häftad

Mathematical Theory of Computation

Av Zohar Manna

Häftad, Engelska, 2003

349 kr

Skickas inom 3-6 vardagar
Zohar Manna - Lectures on the Logic of Computer Programming, Häftad

Lectures on the Logic of Computer Programming

Av Zohar Manna

Häftad, Engelska

719 kr

Tillfälligt slut
Zohar Manna, Amir Pnueli - Temporal Logic of Reactive and Concurrent Systems, Häftad

Temporal Logic of Reactive and Concurrent Systems

Av Zohar Manna, Amir Pnueli

Häftad, Engelska, 2012

739 kr

Skickas inom 7-10 vardagar
Zohar Manna, Amir Pnueli - Temporal Verification of Reactive Systems, Häftad

Temporal Verification of Reactive Systems

Av Zohar Manna, Amir Pnueli

Häftad, Engelska, 2012

1 609 kr

Skickas inom 7-10 vardagar
Aaron R. Bradley, Zohar Manna - Calculus of Computation, Inbunden

Calculus of Computation

Av Aaron R. Bradley, Zohar Manna

Inbunden, Engelska, 2007

1 029 kr

Skickas inom 7-10 vardagar
Aaron R. Bradley, Zohar Manna - Calculus of Computation, Häftad

Calculus of Computation

Av Aaron R. Bradley, Zohar Manna

Häftad, Engelska, 2010

739 kr

Skickas inom 7-10 vardagar