| 000 | 00991nam a2200265 a 4500 | ||
|---|---|---|---|
| 001 | vtls000038137 | ||
| 003 | KUKTEM | ||
| 005 | 20251117150059.0 | ||
| 008 | 090618t2005 enk f 001 0 eng d | ||
| 020 | _a9780521021753 (pbk.) | ||
| 020 | _a0521021758 (pbk.) | ||
| 020 | _a9780521496193 (hbk.) | ||
| 020 | _a0521496195 (hbk.) | ||
| 039 | 9 |
_a201404280931 _bFida _c201404280931 _dFida _c201107132309 _dVLOAD _c201003081139 _dfauzi _y200906181023 _znadia |
|
| 040 | _aUMP | ||
| 090 | _aQA76.9.B22 A27 2005 | ||
| 100 | 1 | _aAbrial, Jean-Raymond | |
| 245 | 1 | 4 |
_aThe B-book : _bassigning programs to meanings / _cJ.-R. Abrial |
| 260 |
_aCambridge : _bCambridge University Press, _c2005 |
||
| 300 |
_a779 p. ; _c25 cm. |
||
| 500 | _aIncludes index | ||
| 650 | 0 | _aB method (Computer science) | |
| 856 | 4 | 1 |
_3Table of contents _uhttp://www.loc.gov/catdir/enhancements/fy0659/2006275990-t.html |
| 999 |
_aVIRTUA40 _c50987 _d50993 |
||
| 999 | _aVTLSSORT0080*0200*0201*0202*0203*0400*0900*1000*2450*2600*3000*5000*6500*8560*9992 | ||