MARC状态:已编 文献类型:西文图书 浏览次数:58
- 题名/责任者:
- Correct hardware design and verification methods : 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001, Livingston, Scotland, UK, September 4-7, 2001 : proceedings / Tiziana Margaria, Tom Melham (eds.).
- 出版发行项:
- Berlin ; New York : Springer, c2001.
- ISBN:
- 3540425411 :
- 载体形态项:
- xii, 479 p. : ill. ; 24 cm.
- 丛编题名:
- Lecture notes in computer science, 0302-9743 ; 2144
- 会议名称:
- CHARME 2001 (2001 : Livingston, Scotland)
- 附加个人名称:
- Margaria, Tiziana.
- 附加个人名称:
- Melham, T. F. (Tom F.)
- 论题主题:
- Integrated circuits-Very large scale integration-Computer-aided design-Congresses.
- 论题主题:
- Integrated circuits-Verification-Congresses.
- 中图法分类号:
- TP302-53
- 书目附注:
- Includes bibliographical references and index.
- 载体形态附注:
- Also available via the World Wide Web.
- 随书光盘:
全部MARC细节信息>>