語系
Ferreira, Carla.
概要
| 作品: | 1 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Formal techniques for distributed objects, components, and systems = 45th IFIP WG 6.1 International Conference, FORTE 2025, held as part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 16-20, 2025 : proceedings /
by:
FORTE Conference (2025 :); Ferreira, Carla.; SpringerLink (Online service); International Federated Conference on Distributed Computing Techniques (2025 :); Mezzina, Claudio Antares.
(書目-電子資源)
Software engineering and formal methods = 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023 : proceedings /
by:
International Conference on Software Engineering and Formal Methods (2023 :); Ferreira, Carla.; Willemse, Tim A. C.; SpringerLink (Online service)
(書目-電子資源)
主題
Software engineering
Software Engineering.
Data Structures and Information Theory.
Computer network protocols
Theory of Computation.
Logic in AI.
Control Structures and Microprogramming.
Programming Techniques.
Operating Systems.
Formal methods (Computer science)
Electronic data processing- Distributed processing
Artificial Intelligence.
Computer System Implementation.
Computer Communication Networks.