Dino Mandrioli

No bio available. Add one in Open Library.

Books by Dino Mandrioli (50 max)

+ shelf+ list

Fundamentals of software engineering

1991

Carlo Ghezzi, Mehdi Jazayeri, Dino Mandrioli

+ shelf+ list

Theoretical foundations of computer science

1987

Dino Mandrioli

+ shelf+ list

Advances in object-oriented software engineering

1992

Dino Mandrioli, Bertrand Meyer

+ shelf+ list

Formal methods for real-time computing

1996

Constance Heitmeyer, Dino Mandrioli