Dino Mandrioli
7 published titles
Theoretical foundations of computer science
1 edition
- ISBN: 0471838349
- Wiley
- 1987
- Details
Fundamentals of software engineering
(Contributor)
2 editions
- ISBN: 0138182043
- Prentice-Hall
- 1991
- Details
- ISBN: 013099183X
- Prentice Hall
- 2003
- Details
Advances in object-oriented software engineering
(Contributor)
1 edition
- ISBN: 0130065781
- Prentice Hall
- 1992
- Details
Formal methods for real-time computing
(Contributor)
1 edition
- ISBN: 0471958352
- Wiley
- 1996
- Details
The art and craft of computing
(Contributor)
1 edition
- ISBN: 0201876981
- Addison-Wesley
- 1997
- Details
FME 2003 : formal methods : International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003 : proceedings
(Contributor)
1 edition
- ISBN: 3540408282
- Springer
- 2003
- Details
Ingegneria del software : fondamenti e principi
(Contributor)
1 edition
- ISBN: 8871922042
- Pearson Education Italia
- 2004
- Details