机读格式显示(MARC)

• 000 01415nam 2200301 a 4500

• 001 0000499692

• 003 CAL

• 005 20050313095000.0

• 008 050310s1987 ne a b 10010 eng

• 010 __ |a 87001618

• 020 __ |a 044470194X

• 040 __ |d FDU |c SJT

• 050 00 |a TK7867 |b .I4 1986

• 082 00 |a 621.3815/3 |2 19

• 090 __ |a TN710.02-53/I23

• 093 __ |a TN710.02-53 |2 4

• 099 __ |a CAL 022000898423 |a CAL 022000315986

• 111 2_ |a IFIP WG 10.2 Working Conference on from HDL Descriptions to Guaranteed Correct Circuit Designs |d (1986 : |c Grenoble, France)

• 245 10 |a From HDL descriptions to guaranteed correct circuit designs : |b proceedings of the IFIP WG 10.2 Working Conference on from HDL Descriptions to Guaranteed Correct Circuit Designs, Grenoble, France, 9-11 September, 1986 / |c edited by Dominique Borrione and IMAG/ARTEMIS.

• 260 __ |a Amsterdam ; |a New York : |b North-Holland ; |a New York, N.Y., U.S.A. : |b Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., |c 1987.

• 300 __ |a xi, 302 p. : |b ill. ; |c 24 cm.

• 504 __ |a Includes bibliographies.

• 650 _0 |a Electronic circuit design |x Congresses.

• 650 _0 |a Electronic digital computers |x Circuits |x Design and construction |x Congresses.

• 700 1_ |a Borrione, Dominique.

• 710 2_ |a IFIP WG 10.2.

• 710 2_ |a Universite scientifique et medicale de Grenoble. |b Laboratoire IMAG.

• 950 __ |a JHUL |b TN710.02-53 |c I23