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ț: 346^.10 lei 432^.62 lei

6-8 săpt.

-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ț: 335^.69 lei 419^.61 lei

6-8 săpt.

-20%