Computer Aided Verification 计算机辅助验证

作者: Thomas Ball
出版社: 1 (2006年9月25日)
出版年: 2006-9
ISBN: 9783540374060
页数: 564
装帧: 平装
定价: 768.40元
目前无人评价
评价:

短评  · · · · · ·

热门

  • 还没人写过短评呢

我要写书评

Computer Aided Verification 计算机辅助验证的书评 · · · · · · ( 全部 0 条 )

论坛  · · · · · ·

当前版本有售  · · · · · ·

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

谁读这本书?  · · · · · ·

二手市场  · · · · · ·

订阅关于Computer Aided Verification 计算机辅助验证的评论:
feed: rss 2.0