LEADER 00000pam  2200000I1 4500 
001    15164773 
008    870120s1987    ne a     b    10010 eng   
010    87001618 
020    044470194X 
040    DLC|cDLC|dm/c|dCWR|dAS|dIIS 
050 0  TK7867|b.I4 1986 
082 0  621.3815/3|219 
111 20 IFIP WG 10.2 Working Conference on from HDL Descriptions 
       to Guaranteed Correct Circuit Design|d(1986 :|cGrenoble, 
       France) 
245 10 From HDL descriptions to guaranteed correct circuit 
       designs :|bproceedings of the IFIP WG 10.2 Working 
       Conference on from HDL Descriptions to Guaranteed Correct 
       Circuit Designs, Grenoble, France, 9-11 September, 1986 /
       |cedited by Dominique Borrione a 
260 0  Amsterdam ;|aNew York :|bNorth-Holland ;|aNew York, N.Y., 
       U.S.A. :|bSole distributors for the U.S.A. and Canada, 
       Elsevier Science Pub. Co.,|c1987 
300    xi, 302 p. :|bill. ;|c24 cm 
504    Includes bibliographies 
650  0 Electronic circuit design|xCongresses 
650  0 Electronic digital computers|xCircuits|xDesign and 
       construction|xCongresses 
650  7 Circuit design |2iis 
700 10 Borrione, Domonique 
710 20 IFIP WG 10.2 
710 20 Universite scientifique et medicale de Grenoble.
       |bLaboratoire IMAG 
LOCATION CALL # STATUS OPACMSG BARCODE
 Inform. Sci. Proceeding  Proc B7.2 F931 1986    LIB USE ONLY    30330000059563