The Spin Model Checker

作者: Holzmann, Gerard J.
出版社: DERSON
出版年: 2003-9
页数: 608
定价: $ 83.61
装帧: HRD
ISBN: 9780321228628

谁读这本书?

流浪地球
流浪地球
2013年2月16日 想读

tags:模型检验

潇洒夜雨
潇洒夜雨
2013年1月25日 读过

tags:计算机科学

kehaar
kehaar
2011年5月15日 在读

tags:形式化方法

> 2人在读

> 4人读过

> 2人想读

二手市场

订阅关于The Spin Model Checker的评论:
feed: rss 2.0