Record:   Prev Next
作者 International Symposium on Static Analysis (14th : 2007 : Kongens Lyngby, Denmark)
書名 Static analysis : 14th international symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007 : proceedings / Hanne Riis Nielson, Gilberto Filé (eds.)
出版項 Berlin : Springer, 2007
國際標準書號 9783540740605 (pbk.)
3540740600 (pbk.)
book jacket
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 資訊所圖書室叢書區  SerPro D3.0 S797 2007  LNCS 4634    館內使用    30330000195235
說明 xi, 467 p. : ill. ; 24 cm
系列 Lecture notes in computer science, 0302-9743 ; 4634
附註 Includes bibliographical references and author index
Also available online
主題 Computer programming -- Congresses
Programming languages (Electronic computers) -- Congresses
Static analysis iisf
Programming language iisf
Alt Author Nielson, Hanne Riis
Filé, Gilberto
Alt Title 14th International Symposium, SAS 2007
International Symposium, SAS 2007
SAS 2007
Record:   Prev Next