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ț: 640^.54 lei 800^.68 lei

6-8 săpt.

-20%

Hybrid Systems: Computation and Control

Editat de Freek Wiedijk et al.

18 mar 2003

Preț: 636^.03 lei 795^.04 lei

6-8 săpt.

-20%

Verification of Sequential and Concurrent Programs

Texts in Computer Science

Autor Krzysztof R. Apt et al.

14 mar 2012

Preț: 522^.08 lei 652^.60 lei

6-8 săpt.

-20%

Temporal Logic in Specification: Altrincham, UK, April 8-10, 1987, Proceedings

Lecture Notes in Computer Science, nr. 398

Editat de Behnam Banieqbal et al.

11 oct 1989

Preț: 327^.54 lei 409^.42 lei

6-8 săpt.

-20%

Perspectives of Systems Informatics: 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009, Revised Papers

Lecture Notes in Computer Science, nr. 5947

Editat de Amir Pnueli et al.

8 feb 2010

Preț: 328^.16 lei 410^.20 lei

6-8 săpt.

-20%

The Temporal Logic of Reactive and Concurrent Systems: Specification

Autor Zohar Manna et al.

18 dec 1991

Preț: 688^.52 lei 860^.65 lei

6-8 săpt.

-20%