Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches - Howard Bowman - 图书 - Cambridge University Press - 9780521168755 - 2011年7月21日
如封面与标题不符，以标题为准

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

价格
元 497
不含税

远程仓调货

预计送达时间 年6月17日 - 年7月3日

顾客评价：

根据欧洲消费者保护法享受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.

492 pages, black & white illustrations

介质类型 图书     Paperback Book   (平装胶订图书)
已发行 2011年7月21日
ISBN13 9780521168755
出版商 Cambridge University Press
页数 492
商品尺寸 256 × 178 × 31 mm   ·   922 g
语言 英语  
编辑 Bowman, Howard (University of Kent, Canterbury)
编辑 Derrick, John (University of Kent, Canterbury)

Howard Bowman的更多作品

显示全部

Mere med samme udgiver

查看Howard Bowman的全部作品 ( 例如 Hardcover Book 及 Paperback Book )