MARC 主機 00000nam  22000008a 4500 
001       95038035 
008    950817s1995    gw       b    100 0 eng   
010    95038035 
020    3540603603 (softcover) 
040    DLC|cDLC|dAS|dIIS 
050 00 QA76.6|b.I5733 1995 
082 00 005.1/31|220 
111 2  International Static Analysis Symposium|n(2nd :|d1995 :
       |cGlasgow, UK) 
245 10 Static analysis :|bsecond international symposium, SAS '95,
       Glasgow, UK, September 1995 : proceedings /|cAlan Mycroft,
       ed 
246 30 SAS '95 
260    Berlin ;|aNew York :|bSpringer,|cc1995 
300    viii, 421 p. ;|c24 cm 
440  0 Lecture notes in computer science ;|v983 
504    Includes bibliographical references 
650  0 Electronic digital computers|xProgramming|xCongresses 
650  0 Programming languages (Electronic computers)|xCongresses 
650  7 Static analysis|2iisf 
650  7 Programming language|2iisf 
700 1  Mycroft, Alan 
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 資訊所圖書室叢書區  SerPro D3.0 S797 1995  LNCS 983    館內使用    30330000105499