Nibble 发表于 2025-4-1 02:21:05

9楼

headway 发表于 2025-4-1 07:07:50

10楼

harmony 发表于 2025-4-1 13:20:23

10楼

圆锥 发表于 2025-4-1 15:26:21

10楼

CURL 发表于 2025-4-1 19:51:37

10楼
页: 1 2 3 4 5 6 [7]
查看完整版本: Titlebook: Formal Methods for Open Object-Based Distributed Systems; IFIP TC6 / WG6.1 Thi Paolo Ciancarini,Alessandro Fantechi,Robert Gorrie Conferenc