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 /

• 作者：edited by Kirstin Peters, Tim A. C. Willemse.
• 出版者：Springer International Publishing : Imprint: Springer
• 出版地：Cham :
• 語文：英語
• 叢書名：Lecture notes in computer science, ; Programming and software engineering
• 電子資源：https://doi.org/10.1007/978-3-030-78089-0
• ISBN/ISSN/ISRC：9783030780890 ; 9783030780883
• 作者：Peters, Kirstin.;Willemse, Tim A. C.
• 索書號：004.36