| 000 | 01646nam a2200325 a 4500 | ||
|---|---|---|---|
| 003 | BD-KhUET | ||
| 005 | 20120522144002.0 | ||
| 008 | 111026s1996 enka b 001 0 eng d | ||
| 010 | _a96028030 | ||
| 020 | _a0471958573 | ||
| 020 | _a0471940062 (cloth) | ||
| 040 |
_aDLC _cDLC _dDLC _dBD-KhUET |
||
| 082 | 0 | 0 |
_a005.12 _220 |
| 100 | 1 |
_aHarry, Andrew. _9625 |
|
| 245 | 1 | 0 |
_aFormal methods fact file : _bVDM and Z / _cAndrew Harry. |
| 260 |
_aChichester [England] ; _aNew York : _bWiley, _c1996. |
||
| 300 |
_axv, 386 p.:4bill. ; _c24 cm. |
||
| 490 | 0 | _aWiley series in software engineering practice | |
| 504 | _aIncludes bibliographical references and index. | ||
| 650 | 0 |
_aComputer software _xDevelopment. _9626 |
|
| 650 | 0 |
_aFormal methods (Computer science) _9627 |
|
| 856 | 4 |
_3Table of Contents _uhttp://www.loc.gov/catdir/toc/onix03/96028030.html |
|
| 856 | 4 | 2 |
_3Publisher description _uhttp://www.loc.gov/catdir/enhancements/fy0706/96028030-d.html |
| 942 |
_2ddc _cBK |
||
| 952 |
_p3010027561 _40 _eShaurov Book Center _00 _bKUETCL _10 _o005.12 HAR _d2002.06.25 _t1 _70 _cGEN _2ddc _g2984.65 Tk. _yBK _aKUETCL |
||
| 999 |
_c1039 _d1039 |
||
| 952 |
_p3010027563 _40 _eM/S Shaurov Book Center _00 _bKUETCL _10 _o005.12 HAR _d2002-06-25 _t2 _70 _cGEN _2ddc _g2984.65 Tk. _yBK _aKUETCL |
||
| 952 |
_p3010031277 _40 _eM/S Shourov Book Centre _00 _bKUETCL _10 _o005.12 HAR _d2003-7-8 _t3 _70 _cGEN _2ddc _g4128.60 Tk. _yBK _aKUETCL |
||
| 952 |
_p3010027562 _40 _00 _bKUETCL _10 _o005.12 HAR _d2002-6-25 _t4 _70 _cGEN _2ddc _yBK _aKUETCL |
||