Languages
Giese, Holger.
Overview
| Works: | 0 works in 1 publications in 1 languages | |
|---|---|---|
Titles
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)
(Language materials, printed)
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.
(Language materials, printed)
Subjects
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.