Hoppa till sidans huvudinnehåll

Zohar Manna – författare

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

Temporal Verification of Reactive Systems

Safety

AvZohar Manna,Amir Pnueli

Inbunden, Engelska, 1995

1 439 kr

Skickas inom 10-15 vardagar

Zohar Manna, Amir Pnueli - Temporal Logic of Reactive and Concurrent Systems, Inbunden

Temporal Logic of Reactive and Concurrent Systems

Specification

AvZohar Manna,Amir Pnueli

Inbunden, Engelska, 1991

1 589 kr

Skickas inom 10-15 vardagar

Zohar Manna - Mathematical Theory of Computation, Häftad

Mathematical Theory of Computation

AvZohar Manna

Häftad, Engelska, 2003

389 kr

Skickas inom 3-6 vardagar

Zohar Manna - Lectures on the Logic of Computer Programming, Häftad

Lectures on the Logic of Computer Programming

AvZohar Manna

Häftad, Engelska, 1987

759 kr

Skickas inom 5-8 vardagar

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

Temporal Logic of Reactive and Concurrent Systems

Specification

AvZohar Manna,Amir Pnueli

Häftad, Engelska, 2012

729 kr

Skickas inom 10-15 vardagar

Zohar Manna, Amir Pnueli - Temporal Verification of Reactive Systems, Häftad

Temporal Verification of Reactive Systems

Safety

AvZohar Manna,Amir Pnueli

Häftad, Engelska, 2012

1 589 kr

Skickas inom 10-15 vardagar

Aaron R. Bradley, Zohar Manna - Calculus of Computation, Inbunden

Calculus of Computation

Decision Procedures with Applications to Verification

AvAaron R. Bradley,Zohar Manna

Inbunden, Engelska, 2007

1 079 kr

Skickas inom 10-15 vardagar

Aaron R. Bradley, Zohar Manna - Calculus of Computation, Häftad

Calculus of Computation

Decision Procedures with Applications to Verification

AvAaron R. Bradley,Zohar Manna

Häftad, Engelska, 2010

729 kr

Skickas inom 10-15 vardagar