MARC状态:已编 文献类型:中文图书 浏览次数:54
- 题名/责任者:
- 高级验证方法学/Mark Glasser ... [等] 编著 王欣 ... [等] 翻译
- 出版发行项:
- 成都:电子科技大学出版社,2007
- ISBN及定价:
- 978-7-81114-370-6/CNY38.00
- 载体形态项:
- 294页:图, 肖像;24cm
- 统一题名:
- Verification cookbook
- 个人责任者:
- 格拉瑟 (Glasser, Mark) 编著
- 个人次要责任者:
- 王欣 译
- 学科主题:
- 程序设计-验证
- 中图法分类号:
- TP311.1
- 相关题名附注:
- 原文题名取自封面
- 责任者附注:
- 责任者 (Glasser) 规范汉译姓: 格拉瑟.
- 书目附注:
- 有书目 (第293-294页)
- 提要文摘附注:
- 全书共11章。内容包括:面向对象程序设计的基本原理、验证平台基础、逐步优化、验证平台中的模块、随机验证等。
全部MARC细节信息>>