| 000 | 00612nam a2200205Ia 4500 | ||
|---|---|---|---|
| 008 | 021128s1994||||xx |||||||||||||| ||eng|| | ||
| 020 | _a0471939730 | ||
| 022 | _l0-471-93973-0 | ||
| 041 | _aeng | ||
| 082 |
_a005.12 _bDIL |
||
| 100 |
_aDiller, Antoni _eAU |
||
| 245 | 0 | _aZ An Introduction to Formal Methods | |
| 250 | _a2nd | ||
| 260 |
_aChichester : _bJohn Wiley, _cc1994 |
||
| 300 |
_aXIX, 374 p. _b: ill |
||
| 504 | _aYY | ||
| 650 |
_aZ Computer Program Language _9144481 |
||
| 856 |
_yTable of Contents _uhttps://eaklibrary.neduet.edu.pk:8443/catalog/bk/books/toc/0-471-93973-0.pdf |
||
| 942 | _cBOO | ||
| 999 |
_c379232 _d379232 |
||