Record:   Prev Next
作者 FATES 2005 (5th : 2005 : Edinburgh, UK)
書名 Formal approaches to software testing : 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005 : revised selected papers / Wolfgang Grieskamp, Carsten Weise (eds.)
出版項 Berlin : Springer-Verlag, c2006
國際標準書號 3540344543 (softcover : alk. paper)
book jacket
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 資訊所圖書室叢書區  SerPro D2.5 F7235 2005  LNCS 3997    館內使用    30330000183900
說明 xii, 217 p. : ill. ; 24 cm
系列 Lecture notes in computer science, 0302-9743 ; 3997
附註 Includes bibliographical references and index
Also available online
主題 Formal methods (Computer science) -- Congresses
Computer software -- Testing -- Congresses
Alt Author Grieskamp, Wolfgang
Weise, Carsten
Alt Title FATES 2005
Record:   Prev Next