Record:   Prev Next
作者 International Static Analysis Symposium (1st : 1994 : Namur, Belgium)
書名 Static analysis : First International Symposium, SAS '94, Namur, Belgium, September 28-30, 1994 : proceedings / Baudouin Le Charlier, ed
出版項 Berlin ; New York : Springer-Verlag, 1994
國際標準書號 0387584854
book jacket
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 數學所圖書室  QA75.5 .L42  v.864    在架上    30340200313314
 資訊所圖書室叢書區  SerPro D3.0 S797 1994  LNCS 864    館內使用    30330000098850
Record:   Prev Next