MARC状态：已编 文献类型：西文图书 浏览次数：56
- 题名/责任者:
- Applied formal verification / Douglas L. Perry, Harry D. Foster.
- 出版发行项:
- New York : McGraw-Hill, c2005.
- ISBN:
- 007144372X (alk. paper)
- 载体形态项:
- xiv, 237 p. : ill. ; 24 cm.
- 丛编说明:
- Electronic engineering.
- 丛编统一题名:
- McGraw-Hill professional engineering. Electronic engineering.
- 个人责任者:
- Perry, Douglas L.
- 附加个人名称:
- Foster, Harry, 1956-
- 论题主题:
- Integrated circuits-Verification.
- 论题主题:
- Electronic circuits-Testing.
- 中图法分类号:
- TN407
- 书目附注:
- Includes bibliographical references (p. 227-229) and index.
全部MARC细节信息>>
12楼南外文图书阅览室