期刊书目 › BOOKS with Alphabet F (Fa, Fb,Fc, Fd, Fe…... ) › Titlebook: Formal Methods for Open Object-Based Distributed Systems; 8th IFIP WG 6.1 Inte Roberto Gorrieri,Heike Wehrheim Conference proceedings 2006

财产 发表于 2025-4-1 02:11:46

9楼

名字 发表于 2025-4-1 06:20:02

9楼

填满 发表于 2025-4-1 13:38:04

9楼

N防腐剂 发表于 2025-4-1 14:25:35

10楼

一瞥 发表于 2025-4-1 20:16:17

10楼

垫子 发表于 2025-4-1 22:44:35

10楼

Resign 发表于 2025-4-2 06:16:35

10楼

查看完整版本: Titlebook: Formal Methods for Open Object-Based Distributed Systems; 8th IFIP WG 6.1 Inte Roberto Gorrieri,Heike Wehrheim Conference proceedings 2006