Record:   Prev Next
書名 Computer-aided verification / edited by Robert Kurshan
出版項 Boston : Kluwer Academic Publishers, 1993
國際標準書號 079239285X (alk. paper)
book jacket
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 資訊所圖書室圖書區  F3.0 C7383    在架上    30330000095088
說明 142 p. : ill. ; 25 cm
附註 "Reprinted from Formal methods in system design, vol. 1, nos. 2-3."
Includes bibliographical references
主題 Computer software -- Verification
Electronic digital computers -- Evaluation
Verification iis
Protocol verification iis
Hardware verification iis
Alt Author Kurshan, R. P., 1943-
Record:   Prev Next