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

作者:Jens Grabowski, Brian Nielsen (eds.).
出版社:Springer
ISBN:354025109X (pbk.) :
出版日期:2005
其他作者:Grabowski, Jens. ; Nielsen, Brian
語言:zh
出版地:Berlin ; New York :
內容簡介

x, 224 p. ::ill. ;:24 cm.