MARC 主機 00000nam  2200000 a 4500 
008    010829s2001    gw a     b    101 0 eng d 
020    3540423141 (pbk. : alk. paper) 
040    AS|cAS|dIIS 
050 00 QA76.6|b.I5733 2001 
082 00 005.1|221 
111 2  International Static Analysis Symposium|n(8th :|d2001 :
       |cParis, France) 
245 10 Static analysis :|b8th International Symposium, SAS 2001, 
       Paris, France, July 16-18, 2001 : proceedings /|cPatrick 
       Cousot (ed.) 
246 30 SAS 2001 
260    Berlin :|bSpringer,|c2001 
300    xi, 436 p. :|bill., tab. ;|c24 cm 
440  0 Lecture notes in computer science ;|v2126 
504    Includes bibliographical references and index 
530    Also available via the World Wide Web 
530    Also available online 
650  0 Computer programming|vCongresses 
650  0 Programming languages (Electronic computers)|vCongresses 
700 1  Cousot, Patrick 
856 41 |uhttp://link.springer-ny.com/link/service/series/0558/
       tocs/t2126.htm|zConnect to this title online 
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 資訊所圖書室叢書區  SerPro D3.0 S797 2001  LNCS 2126    館內使用    30330000038369