Computer Aided Verification 计算机辅助验证

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

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

谁读这本书?

二手市场

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