开放式基于对象分布式系统的正式方法/Formal methods for open object-based distributed systems

作者:  Roberto Gorrieri / Heike Wehrheim
出版年: 2006-12
页数: 266
定价: 711.90元
ISBN: 9783540348931
目前无人评价

在哪儿借这本书  · · · · · ·

谁读这本书?

二手市场

订阅关于开放式基于对象分布式系统的正式方法/Formal methods for open object-based distributed systems的评论:
feed: rss 2.0