MARC 主機 00000pam  2200000 a 4500 
001    ocm26767490 
003    OCoLC 
005    19940309110819.0 
008    920921s1992    maua     b    000 0 eng   
010    92033318 
020    079239285X (alk. paper) 
040    DLC|cDLC|dAS|dIIS 
049    AAEA 
050 00 QA76.76.E93|bC65 1993 
082 00 621.39/2|220 
245 00 Computer-aided verification /|cedited by Robert Kurshan 
260    Boston :|bKluwer Academic Publishers,|c1993 
300    142 p. :|bill. ;|c25 cm 
500    "Reprinted from Formal methods in system design, vol. 1, 
       nos. 2-3." 
504    Includes bibliographical references 
650  0 Computer software|xVerification 
650  0 Electronic digital computers|xEvaluation 
650  7 Verification|2iis 
650  7 Protocol verification|2iis 
650  7 Hardware verification|2iis 
700 1  Kurshan, R. P.,|d1943- 
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 資訊所圖書室圖書區  F3.0 C7383    在架上    30330000095088