| 000 | 00555nam a2200193 4500 | ||
|---|---|---|---|
| 001 | 00102539 | ||
| 003 | PWmBRO | ||
| 005 | 20180327152556.0 | ||
| 008 | 960131s1993 enk b 0 010 eng | ||
| 020 | _a0077074343 | ||
| 100 | 1 | _aWoodman, Mark. | |
| 245 | 1 | 0 |
_aIntroduction to VDM / _cMark Woodman and Benedict Heal. |
| 260 |
_aLondon : _bMcGraw-Hill, _c1993. |
||
| 300 | _axiii, 240 p. | ||
| 440 | 0 | _aMcGraw-Hill International series in Software engineering. | |
| 650 | 0 |
_aComputer software _xDevelopment. |
|
| 700 | 1 | 0 | _aHeal, Benedict. |
| 942 | _2ddc | ||
| 999 |
_c75738 _d75738 |
||