Record:   Prev Next
作者 FATES 2003 (2003 : Montreal, Quebec)
書名 Formal approaches to software testing : Third International Workshop on Formal Approaches to Testing of Software : FATES 2003 : Montreal, Quebec, Canada, October 6th, 2003 : revised papers / Alexandre Petrenko, Andreas Ulrich (eds.)
出版項 New York : Springer-Verlag, c2004
國際標準書號 3540208941 (softcover : alk. paper)
book jacket
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 資訊所圖書室叢書區  SerPro D2.5 F7235 2003  LNCS 2931    館內使用    30330000165253
說明 viii, 266 p. : ill. ; 24 cm
系列 Lecture notes in computer science, 0302-9743 ; 2931
附註 In affiliation with the IEEE/ACM Conference on Automated Software Engineering, ASE 2003--Pref
Includes bibliographical references and index
Also available online
主題 Formal methods (Computer science) -- Congresses
Computer software -- Testing -- Congresses
Alt Author Petrenko, Alexandre
Ulrich, Andreas, Dr. Ing
IEEE International Automated Software Engineering Conference (18th : 2003 : Montreal, Qubec)
Alt Title FATES 2003
Record:   Prev Next