| 000 | 00474nam a2200157 4500 | ||
|---|---|---|---|
| 005 | 20241204165312.0 | ||
| 008 | 241204b |||||||| |||| 00| 0 eng d | ||
| 020 | _a9781489992888 | ||
| 040 | _cLIRC | ||
| 082 | _a005.1 VER | ||
| 100 |
_aVerhulst, Eric and Boute, Raymond T. _95601 |
||
| 245 |
_aFormal development of a network-centric rtos _bsoftware ebgineering for reliable embedded sysyems |
||
| 260 |
_aNew York _b2011 _cSpringer |
||
| 300 | _a219 p. | ||
| 942 |
_2ddc _cBK |
||
| 999 |
_c32569 _d32569 |
||