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 459 kr

Skickas inom 10-15 vardagar

Temporal Logic of Reactive and Concurrent Systems

Specification

Av Zohar Manna, Amir Pnueli

Inbunden, Engelska, 1991

1 609 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

749 kr

Tillfälligt slut

Temporal Logic of Reactive and Concurrent Systems

Specification

Av Zohar Manna, Amir Pnueli

Häftad, Engelska, 2012

739 kr

Skickas inom 10-15 vardagar

Temporal Verification of Reactive Systems

Safety

Av Zohar Manna, Amir Pnueli

Häftad, Engelska, 2012

1 609 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 029 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

739 kr

Skickas inom 10-15 vardagar