کتاب های Dino Mandrioli
FME 2003: Formal Methods: International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003. Proceedings
Kouichi Kishida (auth.), Keijiro Araki, Stefania Gnesi, Dino Mandrioli (eds.), 2003
FME 2003: Formal Methods: International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003. Proceedings
Kouichi Kishida (auth.), Keijiro Araki, Stefania Gnesi, Dino Mandrioli (eds.), 2003
Ingegneria del software : fondamenti e principi
Carlo Ghezzi; Giacomo Ghezzi; Sam Guinea; Mehdi Jazayeri; Dino Mandrioli, 2004
Theoretical Foundations of Computer Science
Dino Mandrioli, 1988
Informatica teorica
Paola Spoletini Dino Mandrioli, 2011
Fundamentals of Software Engineering
Carlo Ghezzi, Mehdi Jazayeri, Dino Mandrioli, 2003
Theoretical foundations of computer science
Dino Mandrioli; Carlo Ghezzi, 1988
Theoretical Foundations of Computer Science
Mandrioli D., 1987
