Languages
Lluch Lafuente, Alberto.
Overview
| Works: | 1 works in 2 publications in 1 languages | |
|---|---|---|
Titles
Coordination models and languages[electronic resource] :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:
Clark Conference ((2005 :); Lluch Lafuente, Alberto.; Proenca, Jose.; SpringerLink (Online service)
(Language materials, printed)
Trustworthy global computing[electronic resource] :8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013 : revised selected papers /
by:
Abadi, Martin.; Clark Conference ((2005 :); Lluch Lafuente, Alberto.; SpringerLink (Online service)
(Language materials, printed)
Subjects
Mathematical Logic and Formal Languages.
Software Engineering.
Software architecture
Electronic data processing
Logics and Meanings of Programs.
Computer software
Information Systems Applications (incl. Internet)
Programming Techniques.
Algorithm Analysis and Problem Complexity.
Computer programming
Programming Languages, Compilers, Interpreters.
Computer security
Computer networks
Computer Science.
Systems and Data Security.
Computer Systems Organization and Communication Networks.