| 000 | 00567nam a2200157Ia 4500 | ||
|---|---|---|---|
| 008 | 180620b2010 xxu||||| |||| 00| 0 eng d | ||
| 020 | _a9781441915382 | ||
| 082 | _a629.895416 HAR | ||
| 100 | _aHardin, David S | ||
| 245 |
_aDesign and Verification of Microprocessor Systems for High-Assurance Applications _cDavid S. Hardin |
||
| 260 |
_aNew York _bSpringer Verlag, Netherlands _c2010 |
||
| 300 | _a436p. | ||
| 650 | _aProgrammable controllers -- Testing | ||
| 650 | _aProgrammable controllers -- Design and construction | ||
| 906 | _a0c73b1a2ac1049190139b5452e26eede | ||
| 999 |
_c58358 _d58358 |
||