| 000 | 00949 a2200265 4500 | ||
|---|---|---|---|
| 001 | 329444 | ||
| 003 | OSt | ||
| 005 | 20240507172128.0 | ||
| 008 | 220610b |||||||| |||| 00| 0 eng d | ||
| 020 | _a978-3-642-13977-2 | ||
| 040 | _cIITB | ||
| 041 | _aeng | ||
| 245 | _aTests and proofs : 4th international conference, TAP, Malaga, Spain, July 1-2, 2010 (e-book) | ||
| 260 |
_aBerlin _cSpringer _b2010 |
||
| 440 |
_alncs _vv.6143 _951995 |
||
| 440 |
_aLNCS Sublibrary: SL 2 – Programming and Software Engineering _944995 |
||
| 650 |
_aComputer Science and Engineering _97673 |
||
| 650 |
_aComputer software _926325 _vCongresses _xTesting |
||
| 650 | 0 |
_aComputer software _97409 _xReliability _vCongresses |
|
| 650 |
_aComputer software _xQuality control _vCongresses _952026 |
||
| 700 |
_aFraser, Gordon _eEditor _952027 |
||
| 700 |
_aGargantini, Angelo _eEditor _952028 |
||
| 856 | _uhttps://doi.org/10.1007/978-3-642-13977-2 | ||
| 942 |
_cEB _2udc |
||
| 999 |
_c173087 _d173087 |
||