Vista normal Vista MARC Vista ISBD

Formal approaches to software testing : 5th international workshop, FATES 2005, Edinburgh, UK, July 11, 2005 : revised selected papers / FATES 2005 Wolfgang Grieskamp, Carsten Weise, eds. - xii, 217 páginas : ilustraciones - Lecture notes in computer science ; 3997 . - Lecture notes in computer science .

"The workshop on Formal Approaches to Testing of Software (FATES)"-- en el prol.

ISBN: 3540344543

Subjects--Topical Terms:
Métodos formales (Computación)--Congresos
Software para computadora--Pruebas--Congresos

LC Class. No.: QA76.9F67 / F37 2005

Dewey Class. No.: 004.01/51