Algebraic and Logic Programming: Third International Conference, Volterra, Italy, September 2-4, 1992. Proceedings (Lecture Notes in Computer Science)
by
ISBN 13: 9783540558736
Format: Paperback (457 pages) Publisher: Springer Published: 19 Aug 1992
Save for later
Verification, Model Checking, and Abstract Interpretation: 5th International Conference, VMCAI 2004 Venice, Italy, January 11-13, 2004 Proceedings: ... 2937 (Lecture Notes in Computer Science)
by Bernhard Steffen,Giorgio Levi
ISBN 13: 9783540208037
Format: Paperback (342 pages) Publisher: Springer Published: 22 Feb 2009
TAPSOFT '87. Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23 - 27 1987: Volume ... on: 250 (Lecture Notes in Computer Science)
by Hartmut Ehrig,Ugo Montanari,Robert A. Kowalski,Giorgio Levi
ISBN 13: 9783540176114
Format: Paperback (356 pages) Publisher: Springer Published: 13 Jun 2008
Algebraic and Logic Programming: 4th International Conference, ALP'94 Madrid, Spain, September 14-16, 1994 Proceedings (Lecture Notes in Computer Science)
by Giorgio Levi,Mario Rodríguez-Artalejo
ISBN 13: 9783540584315
Format: Paperback (324 pages) Publisher: Springer Published: 22 Feb 2009