Lopes, Antonia.
概要
| 作品: | 1 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Software architecture11th European Conference, ECSA 2017, Canterbury, UK, September 11-15, 2017 : proceedings /
by:
(1998 :); Lopes, Antonia.; SpringerLink (Online service); de Lemos, Rogerio.
(書目-電子資源)
Coordination models and languages25th IFIP WG 6.1 International Conference, Coordination 2023, held as part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023 : proceedings /
by:
(1998 :); Jongmans, Sung-Shik.; Lopes, Antonia.; SpringerLink (Online service)
(書目-電子資源)
Formal techniques for distributed systemsJoint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009 : proceedings /
by:
(1998 :); Lee, David.; Lopes, Antonia.; Poetzsch-Heffter, Arnd.; SpringerLink (Online service)
(書目-電子資源)
主題
Mathematical Logic and Formal Languages.
Software Engineering.
Software engineering
Electronic data processing
Logics and Meanings of Programs.
Software architecture
Programming Techniques.
Computing Milieux.
Formal methods (Computer science)
Programming Languages, Compilers, Interpreters.
Computer programming
Computer Communication Networks.
Computer Science.
Computer Systems Organization and Communication Networks.
Object-oriented programming (Computer science)