| 000 | 00445nam a2200133Ia 4500 | ||
|---|---|---|---|
| 008 | 120911s9999 xx 000 0 und d | ||
| 020 | _a0077072146 | ||
| 082 | _a005.1 AND | ||
| 100 | _a Andrews,derek | ||
| 245 | _aPractical formal methods with vdm | ||
| 260 | _a Mcgraw hill | ||
| 650 | _a Computer software-development | ||
| 999 |
_c14523 _d14523 |
||
| 952 |
_w2012-09-11 _p4060 _r2012-09-11 _40 _00 _bNU _10 _o005.1 AND _d2012-09-11 _70 _yOS _aNU |
||