| 000 | nam a22 7a 4500 | ||
|---|---|---|---|
| 999 |
_c60611 _d60611 |
||
| 001 | 1657933 | ||
| 003 | FUTML | ||
| 005 | 20170502134635.0 | ||
| 007 | ta | ||
| 008 | 1705 s1996 si a grb 001 0 eng | ||
| 010 | _a 97112004 | ||
| 020 | _a9810227329 | ||
| 037 | _aB-25696 | ||
| 040 |
_aDLC _cFUTML _dWaU |
||
| 050 | 0 | 0 |
_aQA76.7 _b.D83 1996 |
| 082 | 0 | 0 |
_a005.13 _221 |
| 245 | 0 | 0 |
_aLanguage prototyping : _ban algebraic specification approach / _ceditors Arie van Deursen, Jan Heering, Paul Klint. |
| 260 |
_aSingapore ; _aRiver Edge, NJ : _bWorld Scientific, _cc1996. |
||
| 300 |
_axx, 353 p. : _bill. ; _c23 cm. |
||
| 440 | 0 |
_aAMAST series in computing ; _vv. 5 _913094 |
|
| 504 | _aIncludes bibliographical references (p. 323-342) and index. | ||
| 590 | _aB-25696/KINTA/02/05/17 | ||
| 650 | 0 |
_aProgramming languages (Electronic computers) _95231 |
|
| 700 | 1 |
_aDeursen, A. van _q(Arie), _d1967- _913095 |
|
| 700 | 1 |
_aHeering, J. _913096 |
|
| 700 | 1 |
_aKlint, Paul. _913097 |
|
| 906 |
_a7 _bcbc _corignew _d2 _encip _f19 _gy-gencatlg |
||
| 912 |
_aKINTA _bKINTA _cSABA |
||
| 942 |
_2lcc _cBKS |
||
| 949 |
_aIBB LIBRARY GIDAN KWANO _cQA76.7 _d.D83 _nNC1 |
||