| 000 | 00424nam a2200157Ia 4500 | ||
|---|---|---|---|
| 008 | 130318s9999 xx 000 0 und d | ||
| 020 | _a9781860940187 | ||
| 082 | _a005.1 LAN/S | ||
| 100 | _aLano, Kevin | ||
| 245 | _aSpecification in B: An introduction using the B toolkit | ||
| 260 |
_bImperial College Press _aLondon _c1996 |
||
| 300 | _a242 | ||
| 650 | _aB TOOLKIT | ||
| 650 | _aPROGRAMMING | ||
| 700 | _aHaughton, Howard | ||
| 999 |
_c1462 _d1462 |
||