Filtre:

Cărți de Amir Pnueli

Temporal Verification of Reactive Systems

Autor Zohar Manna et al.

22 aug 2012

Preț: 718^.61 lei 898^.27 lei

43-57 zile

-20%

Compositionality: The Significant Difference

Editat de Willem-Paul De Roever et al.

18 dec 1998

Preț: 668^.35 lei 835^.44 lei

43-57 zile

-20%

Hybrid Systems: Computation and Control

Editat de Freek Wiedijk et al.

18 mar 2003

Preț: 663^.65 lei 829^.56 lei

43-57 zile

-20%

Temporal Logic in Specification

Editat de Behnam Banieqbal et al.

11 oct 1989

Preț: 343^.57 lei 429^.46 lei

43-57 zile

-20%

The Temporal Logic of Reactive and Concurrent Systems

Autor Zohar Manna et al.

17 oct 2012

Preț: 342^.69 lei 428^.36 lei

43-57 zile

-20%

Perspectives of Systems Informatics

Editat de Amir Pnueli et al.

8 feb 2010

Preț: 342^.69 lei 428^.36 lei

43-57 zile

-20%