語系
Mandrioli, Dino.
概要
| 作品: | 1 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Advances in object-oriented software engineering /
by:
Mandrioli, Dino.; Meyer, Bertrand, (1950-)
(書目-語言資料,印刷品)
Modeling Time in Computing
by:
Mandrioli, Dino.; Rossi, Matteo.; Furia, Carlo A.{me_controlnum}; Morzenti, Angelo.; SpringerLink (Online service)
(書目-電子資源)
FME 2003 = formal methods : International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003 : proceedings /
by:
Mandrioli, Dino.; SpringerLink (Online service); Araki, Keijiro, (1954-); Gnesi, Stefania, (1954-); International Symposium of Formal Methods Europe (2003 :)
(書目-語言資料,印刷品)
Fundamentals of software engineering /
by:
Jazayeri, Mehdi.; Mandrioli, Dino.; Ghezzi, Carlo.
(書目-語言資料,印刷品)
Fundamentals of software engineering /
by:
Jazayeri, Mehdi.; Mandrioli, Dino.; Ghezzi, Carlo.
(書目-語言資料,印刷品)
主題
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.