Record:   Prev Next
作者 International Static Analysis Symposium (8th : 2001 : Paris, France)
書名 Static analysis : 8th International Symposium, SAS 2001, Paris, France, July 16-18, 2001 : proceedings / Patrick Cousot (ed.)
出版項 Berlin : Springer, 2001
國際標準書號 3540423141 (pbk. : alk. paper)
book jacket
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 資訊所圖書室叢書區  SerPro D3.0 S797 2001  LNCS 2126    館內使用    30330000038369
說明 xi, 436 p. : ill., tab. ; 24 cm
系列 Lecture notes in computer science ; 2126
附註 Also available via the World Wide Web
Includes bibliographical references and index
Also available online
主題 Computer programming -- Congresses
Programming languages (Electronic computers) -- Congresses
Alt Author Cousot, Patrick
Alt Title SAS 2001
Record:   Prev Next