Cărți de Amir Pnueli

The Temporal Logic of Reactive and Concurrent Systems: Specification

Autor Zohar Manna et al.

18 dec 1991

Preț: 678^.41 lei 848^.00 lei

6-8 săpt.

-20%

Temporal Verification of Reactive Systems: Safety

Autor Zohar Manna et al.

4 aug 1995

Preț: 630^.47 lei 788^.09 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ț: 514^.37 lei 642^.97 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ț: 323^.24 lei 404^.05 lei

6-8 săpt.

-20%

Hybrid Systems: Computation and Control: 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings

Lecture Notes in Computer Science, nr. 2623

Editat de Freek Wiedijk et al.

18 mar 2003

Preț: 624^.37 lei 780^.47 lei

6-8 săpt.

-20%

Compositionality: The Significant Difference: International Symposium, COMPOS’97 Bad Malente, Germany, September 8–12, 1997 Revised Lectures

Lecture Notes in Computer Science, nr. 1536

Editat de Willem-Paul de Roever et al.

18 dec 1998

Preț: 628^.57 lei 785^.72 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ț: 322^.62 lei 403^.27 lei

6-8 săpt.

-20%