Filtre:

Cărți de Amir Pnueli

Temporal Verification of Reactive Systems: Safety

Autor Zohar Manna et al.

22 aug 2012

Preț: 686^.63 lei 858^.30 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: Specification

Autor Zohar Manna et al.

17 oct 2012

Preț: 326^.72 lei 408^.40 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%