Hoppa till sidans huvudinnehåll

Zohar Manna – författare

Visar alla böcker från författaren Zohar Manna. Handla med fri frakt och snabb leverans.
7 produkter

Temporal Verification of Reactive Systems

Safety

AvZohar Manna,Amir Pnueli

Inbunden, Engelska, 1995

1 429 kr

Skickas inom 10-15 vardagar

Temporal Logic of Reactive and Concurrent Systems

Specification

AvZohar Manna,Amir Pnueli

Inbunden, Engelska, 1991

1 579 kr

Skickas inom 10-15 vardagar

Mathematical Theory of Computation

AvZohar Manna

Häftad, Engelska, 2003

379 kr

Skickas inom 3-6 vardagar

Temporal Logic of Reactive and Concurrent Systems

Specification

AvZohar Manna,Amir Pnueli

Häftad, Engelska, 2012

719 kr

Skickas inom 10-15 vardagar

Temporal Verification of Reactive Systems

Safety

AvZohar Manna,Amir Pnueli

Häftad, Engelska, 2012

1 579 kr

Skickas inom 10-15 vardagar

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

Calculus of Computation

Decision Procedures with Applications to Verification

AvAaron R. Bradley,Zohar Manna

Häftad, Engelska, 2010

719 kr

Skickas inom 10-15 vardagar