Tools

LEADER 01765cam a2200361 a 4500

001 ocm15164773;

005 20141212013318.0;

008 870120s1987 ne a b 100 0 eng ;

010 a| 87001618;

020 a| 044470194X;

035 a| (Sirsi) o15164773;

035 a| (OCoLC)15164773;

049 a| EREE;

050 00 a| TK7867b| .I4 1986;

082 0 a| 621.3815/32| 19;

111 2 a| IFIP WG 10.2 Working Conference on from HDL Descriptions to Guaranteed Correct Circuit Designsd| (1986 :c| Grenoble, France)=| ^A212863;

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.;

300 a| xi, 302 pages :b| illustrations ;c| 24 cm;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

504 a| Includes bibliographies.;

650 0 a| Electronic circuit designv| Congresses.=| ^A1237658;

700 1 a| Borrione, Dominique.=| ^A212864;

710 2 a| IFIP WG 10.2.=| ^A212865;

710 2 a| Université scientifique et médicale de Grenoble.b| Laboratoire IMAG.=| ^A212866;

919 a| BOOK;

596 a| 1;

998 a| 294703;

999 a| TK7867 .I4 1986w| LCc| 1i| 30372004365083d| 4/3/2013f| 4/3/2013g| 2l| JGESm| JOYNERr| Ys| Yt| JGESBKu| 2/27/1989x| BOOKz| JSTACKSo| .STAFF. 0o| .STAFF. Copy Statement : c.1;

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.

Author/creator	IFIP WG 10.2 Working Conference on from HDL Descriptions to Guaranteed Correct Circuit Designs
Other author	Borrione, Dominique.
Other author	IFIP WG 10.2.
Other author	Université scientifique et médicale de Grenoble. Laboratoire IMAG.
Format	Book
Publication Info	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.
Description	xi, 302 pages : illustrations ; 24 cm
Subjects	Electronic circuit design--Congresses. Electronic digital computers--Circuits. --Design and construction. --Congresses.

Bibliography note	Includes bibliographies.
LCCN	87001618
ISBN	044470194X

Availability

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	TK7867 .I4 1986	✔ Available	Place Hold

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.

Click here for more information about this title

Availability