Mandrioli, Dino.

Overview

Works:	1 works in 1 publications in 1 languages

Titles

Advances in object-oriented software engineering / by: Mandrioli, Dino.; Meyer, Bertrand, (1950-) (Language materials, printed)

Theoretical foundations of computer science / by: Ghezzi, Carlo.; Mandrioli, Dino. (Language materials, printed)

Modeling Time in Computing by: Mandrioli, Dino.; SpringerLink (Online service); Rossi, Matteo.; Furia, Carlo A.{me_controlnum}; Morzenti, Angelo. (Electronic resources)

FME 2003 = formal methods : International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003 : proceedings / by: Araki, Keijiro, (1954-); Gnesi, Stefania, (1954-); Mandrioli, Dino.; SpringerLink (Online service); International Symposium of Formal Methods Europe (2003 :) (Language materials, printed)

Fundamentals of software engineering / by: Jazayeri, Mehdi.; Mandrioli, Dino.; Ghezzi, Carlo. (Language materials, printed)

Subjects

Object-oriented programming. Theory of Computation. Computing Methodologies. Mathematics of Computing. Software engineering. Mathematics. Formal methods (Computer science) Database management. System design- Mathematics Computer science. Computer software- Development Computer Science. Computer Hardware.