C.R. Ramakrishnan

C.R. Ramakrishnan

Tools and Algorithms for the Construction and Analysis of Systems: 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008, Proceedings

Lecture Notes in Computer Science, nr. 4963

Editat de C.R. Ramakrishnan et al.

18 mar 2008

Preț: 336^.23 lei 420^.29 lei

43-57 zile

-20%

Practical Aspects of Declarative Languages: 4th International Symposium, PADL 2002, Portland, OR, USA, January 19-20, 2002. Proceedings

Lecture Notes in Computer Science, nr. 2257

Editat de Shriram Krishnamurthi et al.

9 ian 2002

Preț: 326^.13 lei 407^.66 lei

43-57 zile

-20%