| 000 | 00703nam a22002057a 4500 | ||
|---|---|---|---|
| 003 | 0 | ||
| 005 | 20241127153518.0 | ||
| 008 | 241002b xxu||||| |||| 00| 0 eng d | ||
| 020 | _a978-1-032-48818-9 | ||
| 050 |
_aTK 7895 _b.Y56 2024 |
||
| 100 | _aYin, Yongfeng | ||
| 245 |
_aEmbedded software system testing : _bautomatic testing solution based on formal method / _cYongfeng Yin and Bo Jiang |
||
| 250 | _aFirst edition | ||
| 260 |
_aBoca Raton, Florida _bCRC Press _c2024 |
||
| 300 |
_axxiii, 305 pages : _billustrations ; _c24cm. |
||
| 504 | _aIncludes bibliographical references. | ||
| 650 | _aEmbedded computer systems--testing. | ||
| 650 | _aComputer software--testing. | ||
| 942 |
_2lcc _cBK |
||
| 999 |
_c366437 _d366437 |
||