Hoppa till sidans huvudinnehåll

Zohar Manna - Böcker

Visar alla böcker från författaren Zohar Manna.
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 569 kr

Skickas inom 10-15 vardagar

Mathematical Theory of Computation

AvZohar Manna

Häftad, Engelska, 2003

359 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 569 kr

Skickas inom 10-15 vardagar

Calculus of Computation

Decision Procedures with Applications to Verification

AvAaron R. Bradley,Zohar Manna

Inbunden, Engelska, 2007

999 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