Record:   Prev Next
作者 Workshop on the SPIN Verification System (1996 : New Brunswick, N.J.)
書名 The SPIN verification system : the second Workshop on the SPIN Verification System : proceedings of a DIMACS workshop, August 5, 1996 / Jean-Charles Grégoire, Gerard J. Holzmann, Doron A. Peled, editors
出版項 Providence, R.I. : American Mathematical Society, 1997
國際標準書號 0821806807
book jacket
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 數學所圖書室  QA76.76.V47 W677 1996    在架上    30340200355539
 資訊所圖書室叢書區  SerPro G2.0 D6115  DIMACS v.32    館內使用    30330000137153
Record:   Prev Next