Static Analysis: 5th International Symposium, SAS'98, Pisa, Italy, September 14-16, 1998, Proceedings: 1503 (Lecture Notes in Computer Science)
by Giorgio Levi
ISBN 13: 9783540650140
Format: Paperback (404 pages) Publisher: Springer Published: 13 Jun 2008
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
Foundations of Logic and Functional Programming: Workshop, Trento, Italy, December 15-19, 1986. Proceedings: 306 (Lecture Notes in Computer Science)
by Luigia Carlucci Aiello, Mauro Boscarol, Giorgio Levi
ISBN 13: 9783540191292
Format: Paperback (232 pages) Publisher: Springer Published: 13 Jun 2008
TAPSOFT '87. Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 1987: Volume 1: ... in: 249 (Lecture Notes in Computer Science)
by Ugo Montanari, Hartmut Ehrig, Robert Kowalski, Giorgio Levi
ISBN 13: 9783540176602
Format: Paperback (312 pages) Publisher: Springer Published: 13 Jun 2008