Giorgio Levi
Giorgio Levi
4 ספרים במאגר
ספרים
Static AnalysisGiorgio Levi
Static Analysis
Giorgio Levi · 1998
Advances in Logic Programming Theory (International Schools for Computer Scientists)Giorgio Levi
Advances in Logic Programming Theory (International Schools for Computer Scientists)
Giorgio Levi · 1995
Logic programmingGiorgio Levi
Logic programming
Giorgio Levi · 1989
PrologGiorgio Levi
Prolog
Giorgio Levi · 1993
ספרים משותפים ואוספים
ספרים שבהם Giorgio Levi מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.
Advanced seminar on foundations of innovative software development I and colloquium on trees in algebra and programming (CAAP'87)Hartmut Ehrig
Advanced seminar on foundations of innovative software development I and colloquium on trees in algebra and programming (CAAP'87)
Hartmut Ehrig · 1987
TAPSOFT '87 Vol. 2Hartmut Ehrig
TAPSOFT '87 Vol. 2
Hartmut Ehrig · 1987
Verification, Model Checking, and Abstract InterpretationBernhard Steffen
Verification, Model Checking, and Abstract Interpretation
Bernhard Steffen · 2003
Algebraic and logic programmingSpain) Alp 9 (1994 Madrid
Algebraic and logic programming
Spain) Alp 9 (1994 Madrid · 1994
TAPSOFT '87International Joint Conference on Theory and Practice of Software Development (2nd 1987 Pisa, Italy)
TAPSOFT '87
International Joint Conference on Theory and Practice of Software Development (2nd 1987 Pisa, Italy) · 1987