Languages
Kuhn, Eva.
Overview
Works: | 1 works in 2 publications in 1 languages |
---|
Titles
Software engineering and formal methods14th International Conference, SEFM 2016, held as part of STAF 2016, Vienna, Austria, July 4-8, 2016 : proceedings /
by:
(1998 :); De Nicola, Rocco.; Kuhn, Eva.; SpringerLink (Online service)
(Electronic resources)
Coordination models and languages16th IFIP WG 6.1 International Conference, COORDINATION 2014, held as part of the 9th International Federated Conferences on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014 : proceedings /
by:
(1998 :); Kuhn, Eva.; Pugliese, Rosario.; SpringerLink (Online service)
(Electronic resources)
Subjects
Software Engineering.
Software engineering
Mathematical Logic and Formal Languages.
Electronic data processing
Logics and Meanings of Programs.
Software Engineering/Programming and Operating Systems.
Programming Techniques.
Artificial Intelligence (incl. Robotics)
Formal methods (Computer science)
Programming Languages, Compilers, Interpreters.
Computer Science.