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 /

Bibliographic Details
Corporate Authors: IFIP WG 10.2 Working Conference on from HDL Descriptions to Guaranteed Correct Circuit Designs Grenoble, France, IFIP WG 10.2, Université scientifique et médicale de Grenoble. Laboratoire IMAG
Other Authors: Borrione, Dominique
Format: Conference Proceeding Book
Language:English
Published: Amsterdam ; New York : North-Holland ; 1987.
Subjects:

MARC

Tag First Indicator Second Indicator Subfields
LEADER 00000cam a22000008a 4500
001 in00000442001
005 20151012074106.0
008 870120s1987 ne a 10010 eng
010 |a  87001618  
020 |a 044470194X 
035 |a (OCoLC)15164773 
035 |9 ABX1679AM 
040 |a DLC  |c DLC  |d TXA  |d UtOrBLW 
049 |a TXAM  |c [A10065782] 
050 0 0 |a TK7867  |b .I4 1986 
082 0 |a 621.3815/3  |2 19 
111 2 |a IFIP WG 10.2 Working Conference on from HDL Descriptions to Guaranteed Correct Circuit Designs  |d (1986 :  |c Grenoble, France) 
245 1 0 |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 IMAC/ARTEMIS. 
264 1 |a Amsterdam ;  |a New York :  |b North-Holland ;  |c 1987. 
264 2 |a New York, N.Y., U.S.A. :  |b Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 
300 |a xi, 302 pages :  |b illustrations 
336 |a text  |b txt  |2 rdacontent 
337 |a unmediated  |b n  |2 rdamedia 
338 |a volume  |b nc  |2 rdacarrier 
504 |a Includes bibliographical references. 
650 0 |a Electronic circuit design  |v 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 Université scientifique et médicale de Grenoble.  |b Laboratoire IMAG. 
999 |a MARS 
999 f f |s 4c777cca-de09-3d1d-ae35-89b5621688c0  |i 34e877b5-8eab-3765-bf34-3bdb696df80e  |t 0 
952 f f |p ric  |a Texas A&M University  |b Rellis Campus  |c Joint Library Facility  |d Remote Storage  |t 0  |e TK7867 .I4 1986  |h Library of Congress classification  |i unmediated -- volume  |m A14810065782 
998 f f |a TK7867 .I4 1986  |t 0  |l Remote Storage