語系
Proenca, Jose.
概要
| 作品: | 1 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
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 :)
(書目-語言資料,印刷品)
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)
(書目-語言資料,印刷品)
主題
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.