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
Record:   Prev Next