Record:   Prev Next
作者 VMCAI 2004 (2004 : Venice, Italy)
書名 Verification, model checking and abstract interpretation : 5th international conference, VMCAI 2004, Venice, Italy, January 11-13, 2004 : proceedings / Bernhard Steffen, Giorgio Levi (eds.)
出版項 Berlin ; New York : Springer, 2004
國際標準書號 3540208038 (softcover : alk. paper)
book jacket
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 資訊所圖書室叢書區  SerPro F3 V516 2004  LNCS 2937    館內使用    30330000165162
說明 xi, 324 p. : ill. ; 24 cm
系列 Lecture notes in computer science, 0302-9743 ; 2937
附註 Held in conjunction with POPL 2004, the 31st annual Symposium on Principles of Programming Languages, Jan. 14-16, 2004--Pref
Includes bibliographical references and index
Also available online
主題 Computer programs -- Verification -- Congresses
Alt Author Steffen, Bernhard
Levi, G. (Giorgio), 1942-
ACM Symposium on Principles of Programming Languages (31st : 2004 : Venice, Italy)
Alt Title VMCAI 2004
Record:   Prev Next