Amir Pnueli: Cărți programare, dezvoltare software

Cărți de Amir Pnueli

The Temporal Logic of Reactive and Concurrent Systems: Specification

Autor Zohar Manna et al.

18 dec 1991

Preț: 716^.23 lei 895^.28 lei

6-8 săpt.

-20%

Temporal Verification of Reactive Systems: Safety

Autor Zohar Manna et al.

4 aug 1995

Preț: 665^.61 lei 832^.01 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ț: 542^.99 lei 678^.73 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ț: 341^.15 lei 426^.44 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ț: 659^.17 lei 823^.97 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ț: 663^.61 lei 829^.51 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ț: 340^.49 lei 425^.62 lei

6-8 săpt.

-20%

Cărți de Amir Pnueli

The Temporal Logic…

Temporal Verification…

Verification of…

Perspectives of…

Hybrid Systems:…

Compositionality:…

Temporal Logic in…

Papetărie, jocuri, reviste

Cărți de Amir Pnueli