| 000 | 00429nam a22001457a 4500 | ||
|---|---|---|---|
| 005 | 20260226122753.0 | ||
| 008 | 260226b |||||||| |||| 00| 0 eng d | ||
| 020 | _a0133288072 | ||
| 050 |
_aQA76.6.F65 _b1982 |
||
| 100 | _aBerg, H.K and etal | ||
| 245 |
_aFormal methods of program verification and specification _cH. K Berg and etal |
||
| 260 |
_aNew Jersey _bPrentice-Hall _c1982 |
||
| 300 |
_axiv, 207p.:ill. _bHbk |
||
| 942 | _cBK | ||
| 999 |
_c28245 _d28245 |
||