Hoppa till sidans huvudinnehåll

Zohar Manna - Böcker

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

Temporal Verification of Reactive Systems

Safety

Av Zohar Manna, Amir Pnueli

Inbunden, Engelska, 1995

1 439 kr

Skickas inom 10-15 vardagar

Temporal Logic of Reactive and Concurrent Systems

Specification

Av Zohar Manna, Amir Pnueli

Inbunden, Engelska, 1991

1 589 kr

Skickas inom 10-15 vardagar

Mathematical Theory of Computation

Av Zohar Manna

Häftad, Engelska, 2003

349 kr

Skickas inom 3-6 vardagar

Lectures on the Logic of Computer Programming

Av Zohar Manna

Häftad, Engelska, 1987

769 kr

Tillfälligt slut

Temporal Logic of Reactive and Concurrent Systems

Specification

Av Zohar Manna, Amir Pnueli

Häftad, Engelska, 2012

729 kr

Skickas inom 10-15 vardagar

Temporal Verification of Reactive Systems

Safety

Av Zohar Manna, Amir Pnueli

Häftad, Engelska, 2012

1 589 kr

Skickas inom 10-15 vardagar

Calculus of Computation

Decision Procedures with Applications to Verification

Av Aaron R. Bradley, Zohar Manna

Inbunden, Engelska, 2007

1 009 kr

Skickas inom 10-15 vardagar

Calculus of Computation

Decision Procedures with Applications to Verification

Av Aaron R. Bradley, Zohar Manna

Häftad, Engelska, 2010

729 kr

Skickas inom 10-15 vardagar