| 000 | 00391cam a22001337i 4500 | ||
|---|---|---|---|
| 020 | _a9781447152590 | ||
| 050 |
_aMED QA76 _bS563 |
||
| 100 | 1 | _aSingh, Neeraj Kumar, | |
| 245 | 1 | 0 | _aUsing event-b for critical device software systems |
| 260 |
_aEngland, United Kingdom _b Springer London Ltd _c2013. |
||
| 300 |
_axviii, 326p. _bill. |
||
| 500 | _aMinimal Level Cataloging Plus. | ||
| 942 | _cBK | ||
| 999 |
_c12218 _d12218 |
||