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ț: 339^.47 lei 424^.34 lei

6-8 săpt.

-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ț: 336^.21 lei 420^.26 lei

6-8 săpt.

-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ț: 332^.57 lei 415^.71 lei

6-8 săpt.

-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ț: 362^.75 lei 453^.44 lei

6-8 săpt.

-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ț: 341^.95 lei 427^.44 lei

6-8 săpt.

-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ț: 341^.81 lei 427^.26 lei

6-8 săpt.

-20%