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

Copies

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. Kongress Linz (2004) Author Nielsen, Brian, Ph. D. Grabowski, Jens. LC no. 2005921470 ISBN 354025109X softcover

Other Titles FATES 2004

  Permalink