Peters, Kirstin.
Overview
| Works: | 0 works in 0 publications in 0 languages | |
|---|---|---|
Titles
Formal Techniques for Distributed Objects, Components, and Systems = 41st 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:
Peters, Kirstin.; SpringerLink (Online service); Willemse, Tim A. C.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Formal Techniques for Distributed Objects, Components, and Systems = 41st 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:
Willemse, Tim A. C.; SpringerLink (Online service); Peters, Kirstin.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Subjects
Computer communication systems.
Mathematical logic.
Software Engineering.
Computer science—Mathematics.
Software Engineering/Programming and Operating Systems.
Artificial Intelligence.
Computer networks .
Artificial intelligence.
Special Purpose and Application-Based Systems.
Computer Communication Networks.
Software engineering.
Computers, Special purpose.
General Logic.
Mathematics of Computing.
Mathematical Logic and Foundations.
Special purpose computers.