MARC 主機 00000nam  22000008a 4500 
001    94035446 
008    940825s1994    gw            100 0 eng   
020    0387584854 
040    DLC|cDLC|dAS|dMATH|dIIS 
050 00 QA76.6|bS2656 1994 
082 00 005.13/1|220 
111 2  International Static Analysis Symposium|n(1st :|d1994 :
       |cNamur, Belgium) 
245 10 Static analysis :|bFirst International Symposium, SAS '94,
       Namur, Belgium, September 28-30, 1994 : proceedings /
       |cBaudouin Le Charlier, ed 
246 30 SAS '94 
260    Berlin ;|aNew York :|bSpringer-Verlag,|c1994 
300    xii, 463 p. :|bill. ;|c24 cm 
440  0 Lecture notes in computer science ;|v864 
650  0 Electronic digital computers|xProgramming|xCongresses 
650  0 Programming languages (Electronic computers)|xCongresses 
650  7 Programming language|2iisf 
650  7 Static analysis|2iisf 
700 1  Le Charlier, Baudouin,|d1950- 
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 數學所圖書室  QA75.5 .L42  v.864    在架上    30340200313314
 資訊所圖書室叢書區  SerPro D3.0 S797 1994  LNCS 864    館內使用    30330000098850