語系
Peters, Kirstin.
概要
| 作品: | 1 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Formal techniques for distributed objects, components, and systems41st IFIP WG 6.1 International Conference, FORTE 2021, held as part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14-18, 2021 : proceedings /
by:
(1998 :); Peters, Kirstin.; SpringerLink (Online service); Willemse, Tim A. C.
(書目-電子資源)
主題
Computer network protocols
Mathematical Logic and Foundations.
Electronic data processing
Software Engineering/Programming and Operating Systems.
Mathematics of Computing.
Formal methods (Computer science)
Special Purpose and Application-Based Systems.
Artificial Intelligence.
Computer Communication Networks.