Filtre: Paperback

Cărți de Amir Pnueli

Temporal Verification of Reactive Systems: Safety

Autor Zohar Manna et al.

4 aug 1995

Preț: 639^.87 lei 799^.84 lei

6-8 săpt.

-20%

Compositionality: The Significant Difference

Editat de Willem-Paul De Roever et al.

18 dec 1998

Preț: 642^.53 lei 803^.16 lei

6-8 săpt.

-20%

Hybrid Systems: Computation and Control

Editat de Freek Wiedijk et al.

18 mar 2003

Preț: 638^.02 lei 797^.52 lei

6-8 săpt.

-20%

Temporal Logic in Specification

Editat de Behnam Banieqbal et al.

11 oct 1989

Preț: 330^.36 lei 412^.95 lei

6-8 săpt.

-20%

The Temporal Logic of Reactive and Concurrent Systems

Autor Zohar Manna et al.

18 dec 1991

Preț: 692^.35 lei 865^.43 lei

6-8 săpt.

-20%

Perspectives of Systems Informatics

Editat de Amir Pnueli et al.

8 feb 2010

Preț: 329^.51 lei 411^.90 lei

6-8 săpt.

-20%