Giorgio Levi – författare
Visar alla böcker från författaren Giorgio Levi.
8 produkter
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)
Av Hartmut Ehrig, Robert A. Kowalski m. fl.
Häftad, 1987
509 kr
Lägg i varukorg
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)
Av Hartmut Ehrig, Robert Kowalski m. fl.
Häftad, 1987
509 kr
Lägg i varukorg
Foundations of Logic and Functional Programming
Workshop, Trento, Italy, December 15-19, 1986. Proceedings
Av Mauro Boscarol, Luigia Carlucci Aiello m. fl.
Häftad, 1988
729 kr
Lägg i varukorg
Verification, Model Checking, and Abstract Interpretation
5th International Conference, VMCAI 2004, Venice, January 11-13, 2004, Proceedings
Av Bernhard Steffen, Giorgio Levi
Häftad, 2004
729 kr
Lägg i varukorg
Algebraic and Logic Programming
Third International Conference, Volterra, Italy, September 2-4, 1992. Proceedings
Av Helene Kirchner, Giorgio Levi
Häftad, 1992
729 kr
Lägg i varukorg
Algebraic and Logic Programming
4th International Conference, ALP '94, Madrid, Spain, September 14-16, 1994. Proceedings
Av Giorgio Levi, Mario Rodriguez-Artalejo
Häftad, 1994
729 kr
Lägg i varukorg
Static Analysis
5th International Symposium, SAS'98, Pisa, Italy, September 14-16, 1998, Proceedings
Av Giorgio Levi
Häftad, 1998
729 kr
Lägg i varukorg