| 000 | 00540nam a2200229Ia 4500 | ||
|---|---|---|---|
| 008 | 191002s9999 xx 000 0 und d | ||
| 020 | _a0000083255 | ||
| 082 | _a001.642Sy | ||
| 100 | _aJefffrey O Grady | ||
| 245 | 0 | _aSystem Verification | |
| 260 |
_aLondon _bAcadamic _c2007 |
||
| 536 | _aManagement | ||
| 650 | _a Proving | ||
| 650 | _a Requirement | ||
| 650 | _a Satifies | ||
| 650 | _a Solution | ||
| 650 | _a System | ||
| 650 | _a Verification | ||
| 650 | _aDesign | ||
| 650 | _aSystems programming | ||
| 942 | _cBK | ||
| 999 |
_c26600 _d26600 |
||