語系
Dingel, Juergen.
概要
| 作品: | 3 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Models in software engineering = workshops and symposia at MODELS 2010, Oslo, Norway, October 3-8, 2010 : reports and revised selected papers /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Dingel, Juergen.; Solberg, Arnor.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Formal techniques for distributed systems = joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 international conference, FORTE 2011, Reykjavik, Iceland, June 6-9, 2011 : proceedings /
by:
Bruni, Roberto.; SpringerLink (Online service); Dingel, Juergen.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(書目-語言資料,印刷品)
主題
Software Engineering.
Management of Computing and Information Systems.
Formal methods (Computer science)
Model-integrated computing
Computer Communication Networks.
Electronic data processing
Simulation and Modeling.
Object-oriented programming (Computer science)
Programming Techniques.
Computer Science.
Programming Languages, Compilers, Interpreters.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.