Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches - - 图书 - Cambridge University Press - 9780521771849 - 2001年10月22日
如封面与标题不符，以标题为准

Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches

价格
元 1.316
不含税

远程仓调货

预计送达时间 年6月12日 - 年6月30日

顾客评价：

根据欧洲消费者保护法享受14天退换货政策
Trustpilot平台高分认证
添加至iMusic心愿单

This 2002 collection of comprehensive surveys by leading researchers presents techniques in the application of formal methods to object-based distributed systems, including sections on dynamic reconfiguration, encapsulation, subtyping, inheritance, and real-time aspects.

490 pages, illustrations

介质类型 图书     Hardcover Book   (精装硬皮书)
已发行 2001年10月22日
ISBN13 9780521771849
出版商 Cambridge University Press
页数 492
商品尺寸 178 × 254 × 27 mm   ·   1,02 kg
语言 英语  
编辑 Bowman, Howard (University of Kent, Canterbury)
编辑 Derrick, John (University of Kent, Canterbury)

Mere med samme udgiver