Cărți de John Hatcliff

Formal Techniques for Distributed Systems: Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010, Proceedings

Lecture Notes in Computer Science, nr. 6117

Editat de John Hatcliff et al.

iun 2010

Preț: 331^.25 lei 414^.07 lei

3-5 săpt.

-20%

Tools and Algorithms for the Construction and Analysis of Systems: 9th International Conference, TACAS 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings

Lecture Notes in Computer Science, nr. 2619

Editat de Hubert Garavel et al.

14 mar 2003

Preț: 682^.41 lei 853^.01 lei

6-8 săpt.

-20%

Partial Evaluation: Practice and Theory: DIKU 1998 International Summer School, Copenhagen, Denmark, June 29 - July 10, 1998

Lecture Notes in Computer Science, nr. 1706

Editat de John Hatcliff et al.

17 noi 1999

Preț: 339^.99 lei 424^.99 lei

6-8 săpt.

-20%