Languages
Dingel, Juergen.
Overview
| Works: | 3 works in 1 publications in 1 languages | |
|---|---|---|
Titles
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)
(Language materials, printed)
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 :)
(Language materials, printed)
Subjects
Software Engineering.
Management of Computing and Information Systems.
Formal methods (Computer science)
Model-integrated computing
Programming Languages, Compilers, Interpreters.
Computer Communication Networks.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Electronic data processing
Simulation and Modeling.
Object-oriented programming (Computer science)
Programming Techniques.
Computer Science.