| 000 | 00508pam a2200181a 44500 | ||
|---|---|---|---|
| 008 | 160408b1996 xxu||||| |||| 00| 0 eng d | ||
| 020 | _a1860940080 | ||
| 082 |
_a005.1015113 _bL285S |
||
| 100 | _aLano,Kevin | ||
| 245 | 1 |
_aSPECIFICATION IN B _bAN INTRODUCTION USING THE B TOOLKIT |
|
| 260 |
_a _bImperial College Press, London _c1996 |
||
| 300 | _axi,242 | ||
| 500 | _aIncludes Index | ||
| 650 | _aB (Computer Program Language) | ||
| 700 | _aHaughton,Howard | ||
| 964 | _gCIRC | ||
| 997 | _aA124005 C | ||
| 999 |
_c328040 _d328040 |
||