主畫面 | 輔助說明 | 重新查詢 | English Mode

中研院圖書館首頁


重新查詢 Hold this item 轉出資料 MARC 顯示 返回瀏覽 其他查詢
   
Record:   Prev Next
作者 International Workshop on Automatic Verification Methods for Finite State Systems (1989 : Grenoble, France)
書名 Automatic verification methods for finite state systems : international workshop, Grenoble, France, June 12-14, 1989 : proceedings / J. Sifakis (Ed.)
出版項 Berlin ; New York : Springer-Verlag, c1990
國際標準書號 0387521488 (U.S. : alk. paper)
3540521488
 book jacket
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 資訊所圖書室叢書區  SerPro F3.0 A939 1989  LNCS 407    館內使用    30330000070966
 數學所圖書室  QA75.5 .L42  v.407    在架上    30340200298275
說明 vii, 382 p. : ill. ; 25 cm
系列 Lecture notes in computer science ; 407
附註 Includes bibliographical references
主題 Computer network protocols -- Congresses
Verification iis
Protocol verification iis
Hardware verification iis
Alt Author Sifakis, J. (Joseph), 1946-
Record:   Prev Next
重新查詢 Hold this item 轉出資料 MARC 顯示 返回瀏覽 其他查詢


主畫面 | 輔助說明 | English Mode