开放式基于对象分布式系统的正式方法/Formal methods for open object-based distributed systems
Gorrieri, Roberto; Wehrheim, Heike;
湖北辞书出版社
出版时间：2006-12
出版社：湖北辞书出版社
作者：Gorrieri, Roberto; Wehrheim, Heike;
页数：266
图书封面
下载链接
开放式基于对象分布式系统的正式方法/Formal methods for open object-based distributed systemsPDF格式下载