語系
Lluch Lafuente, Alberto.
概要
作品: | 1 作品在 3 項出版品 1 種語言 |
---|
書目資訊
Formal methods for industrial critical systems26th International Conference, FMICS 2021, Paris, France, August 24-26, 2021 : proceedings /
by:
(1998 :); Lluch Lafuente, Alberto.; Mavridou, Anastasia.; SpringerLink (Online service)
(書目-電子資源)
Coordination models and languages18th 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:
(1998 :); Lluch Lafuente, Alberto.; Proenca, Jose.; SpringerLink (Online service)
(書目-電子資源)
Trustworthy global computing8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013 : revised selected papers /
by:
(1998 :); Abadi, Martin.; Lluch Lafuente, Alberto.; SpringerLink (Online service)
(書目-電子資源)
主題
Mathematical Logic and Formal Languages.
Software Engineering.
Software engineering
Theory of Computation.
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.
Formal methods (Computer science)
Computer security
Computer programs
Artificial Intelligence.
Computer networks
Computer Science.
Systems and Data Security.
Computer Systems Organization and Communication Networks.