MARC状态：审校 文献类型：西文图书 浏览次数：9
- 题名/责任者:
- From HDL descriptions to guaranteed correct circuit designs : proceedings of the IFIP WG 10.2 Working Conference on from HDL Descriptions to Guaranteed Correct Circuit Designs, Grenoble, France, 9-11 September, 1986 / edited by Dominique Borrione and IMAG/ARTEMIS.
- 出版发行项:
- Amsterdam ; New York : North-Holland ; New York, N.Y., U.S.A. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1987.
- ISBN:
- 044470194X
- 载体形态项:
- xi, 302 p. : ill. ; 24 cm.
- 会议名称:
- IFIP WG 10.2 Working Conference on from HDL Descriptions to Guaranteed Correct Circuit Designs (1986 : Grenoble, France)
- 附加个人名称:
- Borrione, Dominique.
- 附加团体名称:
- IFIP WG 10.2.
- 附加团体名称:
- Universite scientifique et medicale de Grenoble. Laboratoire IMAG.
- 论题主题:
- Electronic circuit design-Congresses.
- 论题主题:
- Electronic digital computers-Circuits-Design and construction-Congresses.
- 中图法分类号:
- TN710.02-53
- 书目附注:
- Includes bibliographies.
全部MARC细节信息>>