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

Your search for Giorgio Levi

  1. Cover: Verification, Model Checking, and Abstract Interpretation - Springer
    Bernhard Steffen | Giorgio Levi
    Verification, Model Checking, and Abstract Interpretation
    5th International Conference, VMCAI 2004, Venice, January 11-13, 2004, Proceedings
    12/2003
    Springer
    9783540246220 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  2. Cover: Static Analysis - Springer
    Giorgio Levi
    Static Analysis
    5th International Symposium, SAS'98, Pisa, Italy, September 14-16, 1998, Proceedings
    06/2003
    Springer
    9783540497271 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  3. Cover: Advances in Logic Programming Theory - Clarendon Press
    Giorgio Levi
    Advances in Logic Programming Theory
    12/1994
    Clarendon Press
    9780198538530 (ISBN)
    Book
    Hardback
    Other editions
    €148.56
    Shipment within 15-20 days
  4. Cover: Verification, Model Checking, and Abstract Interpretation - Springer
    Bernhard Steffen | Giorgio Levi
    Verification, Model Checking, and Abstract Interpretation
    5th International Conference, VMCAI 2004, Venice, January 11-13, 2004, Proceedings
    01/2004
    Springer
    9783540208037 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  5. Cover: Foundations of Logic and Functional Programming - Springer
    Mauro Boscarol | Luigia Carlucci Aiello | Giorgio Levi
    Foundations of Logic and Functional Programming
    01/2014
    Springer
    9783662190999 (ISBN)
    Book
    Paperback/Softback
    €22.99
    Not available
  6. Cover: Static Analysis - Springer
    Giorgio Levi
    Static Analysis
    5th International Symposium, SAS'98, Pisa, Italy, September 14-16, 1998, Proceedings
    09/1998
    Springer
    9783540650140 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  7. Cover: Algebraic and Logic Programming - Springer
    Helene Kirchner | Giorgio Levi
    Algebraic and Logic Programming
    Third International Conference, Volterra, Italy, September 2-4, 1992. Proceedings
    08/1992
    Springer
    9783540558736 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  8. Cover: Algebraic and Logic Programming - Springer
    Giorgio Levi | Mario Rodriguez-Artalejo
    Algebraic and Logic Programming
    4th International Conference, ALP '94, Madrid, Spain, September 14-16, 1994. Proceedings
    08/1994
    Springer
    9783540584315 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  9. Cover: Foundations of Logic and Functional Programming - Springer
    Mauro Boscarol | Luigia Carlucci Aiello | Giorgio Levi
    Foundations of Logic and Functional Programming
    Workshop, Trento, Italy, December 15-19, 1986. Proceedings
    04/1988
    Springer
    9783540191292 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  10. Cover: TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 1987 - Springer
    Hartmut Ehrig | Robert Kowalski | Giorgio Levi
    TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 1987
    Volume 1: Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in Algebra and Programming (CAAP '87)
    02/1987
    Springer
    9783540176602 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €37.44
    Shipment within 10-15 days
  11. Cover: TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23 - 27 1987 - Springer
    Hartmut Ehrig | Robert A. Kowalski | Giorgio Levi
    TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23 - 27 1987
    Volume 2: Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Functional and Logic Programming and Specifications (CFLP)
    02/1987
    Springer
    9783540176114 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €37.44
    Shipment within 10-15 days
  12. This image is currently not available.
    Giorgio Levi | Maurizio Martelli
    Logic Programming: Proceedings of the Sixth International Conference 6th
    06/1989
    MIT Press
    9780262620659 (ISBN)
    Book
    Paperback/Softback
    €51.38
    Exhausted; no reprint