| 000 | 00473nam a22001817a 4500 | ||
|---|---|---|---|
| 999 |
_c66424 _d66424 |
||
| 005 | 20210116150002.0 | ||
| 008 | 210116b ||||| |||| 00| 0 eng d | ||
| 020 | _a9780077072148 | ||
| 082 | _a621.3819642 A566P | ||
| 100 | _aAndrews, Derek | ||
| 100 | _aInce, Darrel | ||
| 245 | _aPractical Formal Methods with VDM | ||
| 260 |
_aLondon _bMcGraw-Hill Book Company _c1991 |
||
| 300 | _ap.450 | ||
| 650 | _bComputer Software | ||
| 650 | _bData Refinement | ||
| 942 | _cSW | ||