紀錄類型: |
書目-電子資源
: Monograph/item
|
正題名/作者: |
Formal techniques for distributed objects, components, and systemsedited by Valentina Castiglioni, Adrian Francalanza. |
其他題名: |
44th IFIP WG 6.1 International Conference, FORTE 2024, held as part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June 17-21, 2024 : proceedings / |
其他題名: |
FORTE 2024 |
其他作者: |
Castiglioni, Valentina. |
團體作者: |
|
出版者: |
Cham :Springer Nature Switzerland :2024. |
面頁冊數: |
xiv, 239 p. :ill. (some col.), digital ;24 cm. |
Contained By: |
Springer Nature eBook |
標題: |
Formal methods (Computer science) |
電子資源: |
https://doi.org/10.1007/978-3-031-62645-6 |
ISBN: |
9783031626456$q(electronic bk.) |