Model Checking

作者: Edmund M. Clarke / Orna Grumberg / Doron A. Peled
出版社: The MIT Press
出版年: 07 January, 2000
页数: 314
定价: $60.00
装帧: Hardcover
ISBN: 9780262032704
5星
58.8%
4星
35.3%
3星
5.9%
2星
0.0%
1星
0.0%

以下豆列推荐  · · · · · ·  ( 全部 )

谁读这本书?

Tyrus
Tyrus
2月16日 想读


BeFab
BeFab
2016年12月4日 想读


> 9人在读

> 18人读过

> 43人想读

二手市场

订阅关于Model Checking的评论:
feed: rss 2.0