Formal Techniques for Distributed Objects, Components, and Systems
Subtitle: 40th IFIP WG 6. 1 International Conference, FORTE 2020, Held As Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings
Publisher: Springer
Published: 2020
Language: eng
ISBN-13: 9783030500856
Subjects: Computer programming; Computer networks; Artificial intelligence; Computer software, development