Languages
Proenca, Jose.
Overview
| Works: | 1 works in 2 publications in 1 languages | |
|---|---|---|
Titles
Coordination models and languages = 18th IFIP WG 6.1 International Conference, COORDINATION 2016, held as part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016 : proceedings /
by:
Proenca, Jose.; SpringerLink (Online service); Lluch Lafuente, Alberto.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(Language materials, printed)
Formal aspects of component software = 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017 : proceedings /
by:
Lumpe, Markus.; Workshop on the Preservation of Stability under Discretization ((2001 :); Proenca, Jose.; SpringerLink (Online service)
(Language materials, printed)
Subjects
Software Engineering.
Formal methods (Computer science)
Algorithm Analysis and Problem Complexity.
Electronic data processing
The Computing Profession.
Computer Science.
Programming Techniques.
Computer programming
Programming Languages, Compilers, Interpreters.
Software architecture
Logics and Meanings of Programs.
Component software
Mathematical Logic and Formal Languages.