👤

Dino Mandrioli

3 books

Books by Dino Mandrioli

Formal methods for real-time computing
Formal methods for real-time computing
1996
Advances in object-oriented software engineering
Advances in object-oriented software engineering
1992
Theoretical foundations of computer science
Theoretical foundations of computer science
1987