名称: | |
描述: | |
公开/私有: | 公开 私有 |
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 / |
|
ISBN/ISSN:
|
044470194X |
中图分类法
:
|
TP303-53 |
中图分类法
:
|
TP303-53 |
题名:
|
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 ] |
出版发行:
|
Amsterdam ; : North-Holland ; , 1987. |
载体形态:
|
xi, 302 p. : ill. ; 24 cm. |
主题词:
|
Electronic circuit design |
主题词:
|
Electronic digital computers Circuits Design and construction |
主要责任者:
|
Borrione, Dominique. |
标签:
|
|
相关资源:
|
|
分享资源:
|
HEA| |01543nam 2200325 a 4500 001| |021997013691 003| |CAL 005| |20050603175418.0 008| |870120s1987 ne a b 10010 eng 010| |▼a 87001618 020| |▼a044470194X 040| |▼dFDU▼cSJT 050|00|▼aTK7867▼b.I4 1986 082|00|▼a621.3815/3▼219 093| |▼aTP303-53▼23 093| |▼aTP303-53▼23 099| |▼aCAL 022000898423▼aCAL 022000315986 111|2 |▼aIFIP WG 10.2 Working Confere- | |nce on from HDL Descriptions t- | |o Guaranteed Correct Circuit D- | |esigns▼d(1986 :▼cGrenoble, France) 245|10|▼aFrom HDL descriptions to gua- | |ranteed correct circuit design- | |s :▼bproceedings of the IFIP W- | |G 10.2 Working Conference on f- | |rom HDL Descriptions to Guaran- | |teed Correct Circuit Designs, - | |Grenoble, France, 9-11 Septemb- | |er, 1986 /▼cedited by Dominiqu- | |e Borrione and IMAG/ARTEMIS. 260| |▼aAmsterdam ;▼aNew York :▼bNor- | |th-Holland ;▼aNew York, N.Y., - | |U.S.A. :▼bSole distributors fo- | |r the U.S.A. and Canada, Elsev- | |ier Science Pub. Co.,▼c1987. 300| |▼axi, 302 p. :▼bill. ;▼c24 cm. 504| |▼aIncludes bibliographical ref- | |erences and index.. 650| 0|▼aElectronic circuit design▼vCongresses. 650| 0|▼aElectronic digital computers- | |▼xCircuits▼xDesign and constru- | |ction▼vCongresses. 700|1 |▼aBorrione, Dominique. 710|2 |▼aIFIP WG 10.2. 710|2 |▼aUniversite scientifique et m- | |edicale de Grenoble.▼bLaboratoire IMAG. 950| |▼aJ▼fTP303-53/I-61 998| |▼aSJT 999| |▼tC▼Atshs14▼a20050603 17:53:08- | |▼Mtshs14▼m20050603 17:54:18▼Gt- | |shs14▼g20050603 17:54:33