Cărți de John Hatcliff

Tools and Algorithms for the Construction and Analysis of Systems

Editat de Hubert Garavel et al.

14 mar 2003

Preț: 640^.68 lei 800^.85 lei

6-8 săpt.

-20%

Partial Evaluation: Practice and Theory

Editat de John Hatcliff et al.

17 noi 1999

Preț: 329^.94 lei 412^.42 lei

6-8 săpt.

-20%

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ț: 318^.67 lei 398^.33 lei

3-5 săpt.

-20%