| 000 | 00416nam a2200145Ia 4500 | ||
|---|---|---|---|
| 008 | 200312s9999||||xx |||||||||||||| ||und|| | ||
| 020 | _a9780521021753 | ||
| 082 |
_a005.120 _bAbr |
||
| 100 |
_aAbrial, J.R. _9620 |
||
| 245 | 4 | _aThe B-Book: Assigning Programs to Meanings | |
| 260 |
_aCambridge _bCambridge University Press _c1996 |
||
| 300 | _axxxiv, 779p. | ||
| 650 |
_aB Method (Computer Science) _9621 |
||
| 942 | _cBK | ||
| 999 |
_c1061 _d1061 |
||