Formal approaches to software testing : 4th international workshop, FATES 2004, Linz, Austria, September 21, 2004 : revised selected papers


Jens Grabowski, Brian Nielsen (eds.)
Bok Engelsk 2005 FATES 2004
Utgitt
Berlin : Springer , c2005
Omfang
X, 224 s. : ill.
Opplysninger
Seminaret ble holdt i tilknytning til IEEE/ACM Conference on Automated Software Engineering (ASE 2004)
Emner
Programvare - Testing
formelle metoder kvalitetskontroll programvare
ISBN
354025109X

Bibliotek som har denne