Hoppa till sidans huvudinnehåll

Manuel Hermenegildo - Böcker

Visar alla böcker från författaren Manuel Hermenegildo.
6 produkter

Practical Aspects of Declarative Languages

7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005, Proceedings

Av Manuel Hermenegildo, Daniel Cabeza

Häftad, Engelska, 2005

729 kr

Skickas inom 10-15 vardagar

Static Analysis

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

Av Manuel Hermenegildo, German Puebla

Häftad, Engelska, 2002

729 kr

Skickas inom 10-15 vardagar

Programming Language Implementation and Logic Programming

6th International Symposium, PLILP '94, Madrid, Spain, September 14 - 16, 1994. Proceedings

Av Manuel Hermenegildo, Jaan Penjam

Häftad, Engelska, 1994

729 kr

Skickas inom 10-15 vardagar

Programming Languages: Implementations, Logics and Programs

7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20 - 22, 1995. Proceedings

Av Manuel Hermenegildo, S.Doaitse Swierstra m. fl

Häftad, Engelska, 1995

729 kr

Skickas inom 10-15 vardagar

Functional and Logic Programming

9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008, Proceedings

Av Jacques Garrigue, Manuel Hermenegildo

Häftad, Engelska, 2008

729 kr

Skickas inom 10-15 vardagar

Verification, Model Checking, and Abstract Interpretation

11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings

Av Gilles Barthe, Manuel Hermenegildo

Häftad, Engelska, 2010

729 kr

Skickas inom 10-15 vardagar