| 000 | 00549cam a2200193ua 4500 | ||
|---|---|---|---|
| 001 | 959 | ||
| 005 | 20220105002045.0 | ||
| 007 | ta | ||
| 008 | 080627s1983 g b000 u u | ||
| 082 | 1 | 4 |
_a005.14 _bLOE |
| 100 | 1 | _a Loeckx, Jacques . | |
| 245 | 1 | 0 |
_aFoundation of program verification / _cJacques Loeckx. _hTextual Documents |
| 260 |
_aNew Jersey : _bJohn Wiley & Sons , _c1983. |
||
| 300 |
_aNULL ; _cNULL. |
||
| 653 | 0 | _aProgram verification | |
| 942 | _cBK | ||
| 999 |
_c298593 _d298593 |
||