語系
Giese, Holger.
概要
| 作品: | 0 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Models in Software Engineering = Workshops and Symposia at MoDELS 2007, Nashville, TN, USA, September 30 - October 5, 2007, Reports and Revised Selected Papers /
by:
Giese, Holger.; Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service)
(書目-語言資料,印刷品)
Formal techniques for distributed systems = Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012 : proceedings /
by:
SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :); Rosu, Grigore.; Giese, Holger.
(書目-語言資料,印刷品)
主題
Management of Computing and Information Systems.
Software Engineering.
Formal methods (Computer science)
Computer Communication Networks.
Software engineering.
Simulation and Modeling.
Electronic data processing
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Computer software
UML (Computer science)
Computer Science.
Programming Techniques.
Programming Languages, Compilers, Interpreters.