Hoppa till sidans huvudinnehåll

Zohar Manna – författare

Visar alla böcker från författaren Zohar Manna.
8 produkter

Temporal Verification of Reactive Systems

Safety

AvZohar Manna,Amir Pnueli

Inbunden, Engelska, 1995

1 449 kr

Skickas inom 10-15 vardagar

Temporal Logic of Reactive and Concurrent Systems

Specification

AvZohar Manna,Amir Pnueli

Inbunden, Engelska, 1991

1 589 kr

Skickas inom 10-15 vardagar

Mathematical Theory of Computation

AvZohar Manna

Häftad, Engelska, 2003

369 kr

Skickas inom 3-6 vardagar

Lectures on the Logic of Computer Programming

AvZohar Manna

Häftad, Engelska, 1987

739 kr

Skickas inom 5-8 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