Record:   Prev Next
作者 International Symposium on Static Analysis (6th : 1999 : Venice, Italy, September 1999)
書名 Static analysis : 6th international symposium, SAS'99, Venice, Italy, September 22-24, 1999 : proceedings / Agostino Cortesi, Gilberto File (eds.)
出版項 Berlin : Springer, c1999
國際標準書號 3540664599 (pbk.)
book jacket
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 資訊所圖書室叢書區  SerPro D3.0 S797 1999  LNCS 1694    館內使用    30330000136593
說明 viii, 356 p. : ill. ; 24 cm
系列 Lecture notes in computer science ; 1694
附註 Includes bibliographical references and index
Also available online
主題 Electronic digital computers -- Programming -- Congresses
Programming languages (Electronic computers) -- Congresses
Static analysis iisf
Programming language iisf
Alt Author Levi, Giorgio
Alt Title SAS '99
Record:   Prev Next