9 results
Type of media (2)
Availability (2)
Classification (2)
Year
Persons
Publishers
Sort by
Results per page
Filter
9 results

Your search for Manuel Hermenegildo

  1. Cover: Static Analysis - Springer
    Manuel Hermenegildo | German Puebla
    Static Analysis
    9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002. Proceedings
    08/2003
    Springer
    9783540457893 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  2. Cover: Verification, Model Checking, and Abstract Interpretation - Springer
    Gilles Barthe | Manuel Hermenegildo
    Verification, Model Checking, and Abstract Interpretation
    11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings
    01/2010
    Springer
    9783642113185 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 5-7 days
  3. Cover: Functional and Logic Programming - Springer
    Jacques Garrigue | Manuel Hermenegildo
    Functional and Logic Programming
    9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008, Proceedings
    03/2008
    Springer
    9783540789680 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  4. Cover: Static Analysis - Springer
    Manuel Hermenegildo | German Puebla
    Static Analysis
    9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002. Proceedings
    09/2002
    Springer
    9783540442356 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  5. Cover: Practical Aspects of Declarative Languages - Springer
    Manuel Hermenegildo | Daniel Cabeza
    Practical Aspects of Declarative Languages
    7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005, Proceedings
    01/2005
    Springer
    9783540243625 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  6. Cover: Programming Language Implementation and Logic Programming - Springer
    Manuel Hermenegildo | Jaan Penjam
    Programming Language Implementation and Logic Programming
    6th International Symposium, PLILP '94, Madrid, Spain, September 14 - 16, 1994. Proceedings
    08/1994
    Springer
    9783540584025 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  7. Cover: Programming Languages: Implementations, Logics and Programs - Springer
    Manuel Hermenegildo | S.Doaitse Swierstra
    Programming Languages: Implementations, Logics and Programs
    7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20 - 22, 1995. Proceedings
    09/1995
    Springer
    9783540603597 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  8. This image is currently not available.
    Manuel Hermenegildo | Daniel Cabeza
    Practical Aspects of Declarative Languages
    09/2008
    Springer
    9783540806967 (ISBN)
    Book
    Paperback/Softback
    €23.16
    Not available
  9. This image is currently not available.
    Saumya Debray | Manuel Hermenegildo
    Logic Programming
    Proceedings of the North American Conference 1990
    11/1990
    MIT Press
    9780262540582 (ISBN)
    Book
    Paperback/Softback
    €52.02
    No shipping information available