Record:   Prev Next
作者 FATES 2004 (4th : 2004 : Linz, Austria)
書名 Formal approaches to software testing : 4th International Workshop, FATES 2004 : Linz, Austria, September 21, 2004 : revised selected papers / Jens Grabowski, Brian Nielsen (eds.)
出版項 New York : Springer-Verlag, c2005
國際標準書號 354025109X (softcover : alk. paper)
book jacket
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 資訊所圖書室叢書區  SerPro D2.5 F7235 2004  LNCS 3395    館內使用    30330000173430
說明 x, 224 p. : ill. ; 24 cm
系列 Lecture notes in computer science, 0302-9743 ; 3395
附註 Includes bibliographical references and index
Also available online
主題 Formal methods (Computer science) -- Congresses
Computer software -- Testing -- Congresses
Alt Author Grabowski, Jens
Nielsen, Brian
Alt Title FATES 2004
Record:   Prev Next