Zohar Manna books | Olibro.fi

-25%

Temporal Verification of Reactive Systems: Safety

Amir Pnueli, Zohar Manna

127,04 € 169,38 €

-25% koodilla BOOKS

Toimittajalla varastossa

-25%

The Temporal Logic of Reactive and Concurrent Systems: Specification

Amir Pnueli, Zohar Manna

139,74 € 186,32 €

-25% koodilla BOOKS

Toimittajalla varastossa

-25%

The Calculus of Computation: Decision Procedures with Applications to Verification

Aaron R. Bradley, Zohar Manna

61,86 € 82,48 €

-25% koodilla BOOKS

Toimittajalla varastossa

-25%

The Temporal Logic of Reactive and Concurrent Systems: Specification

Amir Pnueli, Zohar Manna

63,51 € 84,68 €

-25% koodilla BOOKS

Toimittajalla varastossa

-25%

Temporal Verification of Reactive Systems: Safety

Amir Pnueli, Zohar Manna

139,74 € 186,32 €

-25% koodilla BOOKS

Toimittajalla varastossa

-25%

Mathematical Theory of Computation

Zohar Manna

27,62 € 36,83 €

-25% koodilla BOOKS

Toimittajalla varastossa

-25%

The Calculus of Computation Decision Procedures with Applications to Verification

Aaron R. Bradley, Zohar Manna

131,21 € 174,95 €

-25% koodilla BOOKS

Toimittajalla varastossa

Kirjat Zohar Manna

Temporal Verification of Reactive Systems: Safety

The Temporal Logic of Reactive and Concurrent Systems: Specification

The Calculus of Computation: Decision Procedures with Applications to Verification

The Temporal Logic of Reactive and Concurrent Systems: Specification

Temporal Verification of Reactive Systems: Safety

Mathematical Theory of Computation

The Calculus of Computation Decision Procedures with Applications to Verification

Olibro

Asiakaspalvelu

Tietoa

Ota yhteyttä