Cărți de Manuel Hermenegildo

Verification, Model Checking, and Abstract Interpretation: 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings

Lecture Notes in Computer Science, nr. 5944

Editat de Gilles Barthe et al.

8 ian 2010

Preț: 329^.81 lei 412^.25 lei

43-57 zile

-20%

Functional and Logic Programming: 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008, Proceedings

Lecture Notes in Computer Science, nr. 4989

Editat de Jacques Garrigue et al.

28 mar 2008

Preț: 326^.62 lei 408^.28 lei

43-57 zile

-20%

Practical Aspects of Declarative Languages: 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005, Proceedings

Lecture Notes in Computer Science, nr. 3350

Editat de Manuel Hermenegildo et al.

14 ian 2005

Preț: 323^.10 lei 403^.87 lei

43-57 zile

-20%

Static Analysis: 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002. Proceedings

Lecture Notes in Computer Science, nr. 2477

Editat de Manuel Hermenegildo et al.

6 sep 2002

Preț: 352^.40 lei 440^.51 lei

43-57 zile

-20%

Programming Languages: Implementations, Logics and Programs: 7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20 - 22, 1995. Proceedings

Lecture Notes in Computer Science, nr. 982

Editat de Manuel Hermenegildo et al.

11 sep 1995

Preț: 332^.20 lei 415^.25 lei

43-57 zile

-20%

Programming Language Implementation and Logic Programming: 6th International Symposium, PLILP '94, Madrid, Spain, September 14 - 16, 1994. Proceedings

Lecture Notes in Computer Science, nr. 844

Editat de Manuel Hermenegildo et al.

24 aug 1994

Preț: 332^.07 lei 415^.09 lei

43-57 zile

-20%