Record:   Prev Next
作者 International Static Analysis Symposium (3rd : 1996 : Aachen, Germany)
書名 Static analysis : third international symposium, SAS '96, Aachen, Germany, September 24-26, 1996 : proceedings / Radhia Cousot, David A. Schmidt, eds
出版項 Berlin ; New York : Springer, c1996
國際標準書號 3540617396
book jacket
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 資訊所圖書室叢書區  SerPro D3.0 S797 1996  LNCS 1145    館內使用    30330000115472
Record:   Prev Next