My Wish Lists Login / Join

Results for author 'Giorgio Levi'

Refine Your Results

subjects

Computing & I.T.

3

Mathematics

2

Science

2

lists

All Books

3

availability

All Books

3

price

$50 - $100

2

Over $100

1

formats

Paperbacks

3

Language

Sort By:

Booktopia Recommends

Bestsellers

Price Low to High

Price High to Low

Most Recently Published

Verification, Model Checking, and Abstract Interpretation : 5th International Conference, VMCAI 2004, Venice, January 11-13, 2004, Proceedings - Bernhard Steffen

Verification, Model Checking, and Abstract Interpretation

5th International Conference, VMCAI 2004, Venice, January 11-13, 2004, Proceedings

Bernhard Steffen and Giorgio Levi

Paperback

$101.07

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 - Hartmut Ehrig

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

Hartmut Ehrig, Robert A. Kowalski and Giorgio Levi

Paperback

$73.85

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 - Hartmut Ehrig

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

Hartmut Ehrig, Robert Kowalski and Giorgio Levi

Paperback

$73.85

3 Results