Record:   Prev Next
作者 International Symposium on Static Analysis (9th : 2002 : Madrid, Spain)
書名 Static analysis : 9th international symposium, SAS 2002, Madrid, Spain, September 17-20, 2002 : proceedings / Manuel V. Hermenegildo, Germán Puebla (eds.)
出版項 Berlin : Springer, 2002
國際標準書號 3540442359 (pbk.)
book jacket
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 資訊所圖書室叢書區  SerPro D3.0 S797 2002  LNCS 2477    館內使用    30330000155056
說明 xi, 525 p. : fig., tab. ; 24 cm
系列 Lecture notes in computer science, 0302-9743 ; 2477
附註 Includes bibliographical references and index
Also available online
主題 Computer programming -- Congresses
Programming languages (Electronic computers) -- Congresses
Static analysis iisf
Programming language iisf
Alt Author Hermenegildo, Manuel V.
Puebla, Germán
Alt Title SAS 2002
Record:   Prev Next