Title Formal approaches to software testing : 5th international workshop, FATES 2005, Edinburgh, UK, July 11, 2005 ; revised selected papers / Wolfgang Grieskamp, Carsten Weise (Eds.)

Published Berlin ; New York, NY : Springer, [2006] ©2006

Copies

Location	Call no.	Vol.	Availability
W'PONDS	005.14 Fat/Esf 2005		AVAILABLE

Description xii, 217 pages : illustrations ; 24 cm Series Lecture notes in computer science ; 3997 Lecture notes in computer science ; 3997 Analysis Software testing Notes "The workshop on Formal Approaches to Testing of Software (FATES)"--Foreword Bibliography Includes bibliographical references and index Notes Also available via the World Wide Web Subject Computer software -- Testing -- Congresses. Formal methods (Computer science) -- Congresses. Genre/Form Conference papers and proceedings. Author Grieskamp, Wolfgang, 1960- Weise, Carsten. LC no. 2006926507 ISBN 3540344543 9783540344544

Other Titles FATES 2005

  Permalink