Limit search to available items
Book Cover
Author FATES 2004 (2004 : Linz, Austria)

Title Formal approaches to software testing : 4th international workshop, FATES 2004, Linz, Austria, September 21, 2004, revised selected papers / [edited by] Jens Grabowski, Brian Nielsen
Edition First edition
Published New York, NY ; [Great Britain] : Springer, 2005


Location Call no. Vol. Availability
 W'PONDS  005.14 Fat/Esf 2004  AVAILABLE
Description x, 224 pages : illustrations ; 24 cm
Series Lecture notes in computer science, 0302-9743 ; 3395
Lecture notes in computer science ; 3395
Analysis FATES
Bibliography Includes bibliographic references and index
Notes Also available via the World Wide Web
Mode of access: World Wide Web
Lecture notes in computer science no:3395 0302-9743
Subject Formal methods (Computer science) -- Congresses.
Computer software -- Testing -- Congresses.
Genre/Form Ebook
Conference papers and proceedings.
Linz (2004)
Author Nielsen, Brian, Ph. D.
Grabowski, Jens.
LC no. 2005921470
ISBN 354025109X softcover
Other Titles FATES 2004