MARC 主機 00000nam  2200000   4500 
008    940906s1986    miua     b    000 0 eng d 
040    AS|cAS|dIIS 
100 1  Huh, Youm 
245 10 Formal specification and verification of hierarchical vlsi
       design /|cYoum Huh 
260    Ann Arbor, Mich. :|bUniversity Microfilms International,
       |cc1986 
300    xii, 210 p. :|bill. ;|c22 cm 
502    Thesis (Ph.D.)--Stanford University, 1986 
504    Includes bibliographical references 
650  7 VLSI design|2iisf 
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 資訊所圖書室論文區  Diss B7.1 H8985 1986    在架上    30330000056882