Hoppa till sidans huvudinnehåll

Manuel Hermenegildo – författare

Visar alla böcker från författaren Manuel Hermenegildo.
6 produkter
Manuel Hermenegildo, Daniel Cabeza - Practical Aspects of Declarative Languages, Häftad

Practical Aspects of Declarative Languages

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

AvManuel Hermenegildo,Daniel Cabeza

Häftad, Engelska, 2005

729 kr

Skickas inom 10-15 vardagar

Manuel Hermenegildo, German Puebla - Static Analysis, Häftad

Static Analysis

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

AvManuel Hermenegildo,German Puebla

Häftad, Engelska, 2002

729 kr

Skickas inom 10-15 vardagar

Manuel Hermenegildo, Jaan Penjam - Programming Language Implementation and Logic Programming, Häftad

Programming Language Implementation and Logic Programming

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

AvManuel Hermenegildo,Jaan Penjam

Häftad, Engelska, 1994

729 kr

Skickas inom 10-15 vardagar

Manuel Hermenegildo, S.Doaitse Swierstra - Programming Languages: Implementations, Logics and Programs, Häftad

Programming Languages: Implementations, Logics and Programs

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

AvManuel Hermenegildo,S.Doaitse Swierstra

Häftad, Engelska, 1995

729 kr

Skickas inom 10-15 vardagar

Jacques Garrigue, Manuel Hermenegildo - Functional and Logic Programming, Häftad

Functional and Logic Programming

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

AvJacques Garrigue,Manuel Hermenegildo

Häftad, Engelska, 2008

729 kr

Skickas inom 10-15 vardagar

Gilles Barthe, Manuel Hermenegildo - Verification, Model Checking, and Abstract Interpretation, Häftad

Verification, Model Checking, and Abstract Interpretation

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

AvGilles Barthe,Manuel Hermenegildo

Häftad, Engelska, 2010

729 kr

Skickas inom 10-15 vardagar