| 000 | 00956cam a2200289 i 4500 | ||
|---|---|---|---|
| 001 | u66243 | ||
| 003 | SIRSI | ||
| 005 | 20240619145802.0 | ||
| 008 | 110131 eng | ||
| 020 |
_a0521021758 _qpbk. |
||
| 020 | _a0521496195 | ||
| 020 |
_a9780521021753 _qpbk. |
||
| 020 | _a9780521496193 | ||
| 050 |
_aQA76.9.B22 _b.A27 1996 |
||
| 100 | 1 |
_aAbrial, J.-R.. , _eauthor _9173908 |
|
| 245 | 1 | 4 |
_aThe B-book : _bassigning programs to meanings / _cJ.-R. Abrial. |
| 264 | 1 |
_aCambridge : _bCambridge University Press, _c1996. |
|
| 300 |
_axxxiv, 779 pages ; _c26 cm. |
||
| 336 |
_atext _btxt _2rdacontent |
||
| 337 |
_aunmediated _bn _2rdamedia |
||
| 338 |
_avolume _bnc _2rdacarrier |
||
| 596 | _a1 3 | ||
| 650 | 0 |
_aB method (Computer science). _9173909 |
|
| 907 |
_a.b10351656 _b07-11-22 _c12-09-18 |
||
| 998 |
_am _b06-11-22 _cm _da _e- _feng _g _h4 |
||
| 999 |
_c26535 _d26535 |
||