| 000 | 01276nam a2200313zi 4500 | ||
|---|---|---|---|
| 005 | 20220221131624.0 | ||
| 008 | 070417s2006 gw a 100 0 eng | ||
| 020 | _a3540344543 | ||
| 035 | _aMX001001097851 | ||
| 040 |
_aHNK _bspa _cHNK _dCtY _dDLC _dUNAMX |
||
| 050 | 0 | 0 |
_aQA76.9F67 _bF37 2005 |
| 082 | 0 | 0 |
_a004.01/51 _222 |
| 111 | 2 |
_aFATES 2005 _n(5 : _d2005 : _cEdimburgo, Escocia) |
|
| 245 | 1 | 0 |
_aFormal approaches to software testing : _b5th international workshop, FATES 2005, Edinburgh, UK, July 11, 2005 : revised selected papers / _cWolfgang Grieskamp, Carsten Weise, eds. |
| 246 | 3 | 0 | _aFATES 2005 |
| 264 | 1 |
_aBerlin : _bSpringer Verlag, _cc2006 |
|
| 300 |
_axii, 217 páginas : _bilustraciones |
||
| 490 | 0 |
_aLecture notes in computer science ; _v3997 |
|
| 500 | _a"The workshop on Formal Approaches to Testing of Software (FATES)"-- en el prol. | ||
| 650 | 0 |
_aMétodos formales (Computación) _vCongresos |
|
| 650 | 0 |
_aSoftware para computadora _xPruebas _vCongresos |
|
| 700 | 1 |
_aGrieskamp, Wolfgang, _d1960- , _eeditor |
|
| 700 | 1 |
_aWeise, Carsten, _eeditor |
|
| 830 |
_aLecture notes in computer science _x 0302-9743 |
||
| 336 |
_atexto _2rdacontent |
||
| 337 |
_asin medio _2rdamedia |
||
| 338 |
_avolumen _2rdacarrier |
||
| 999 |
_c18377 _d18377 |
||