| 000 | 00468nam a2200133Ia 4500 | ||
|---|---|---|---|
| 008 | 120911s9999 xx 000 0 und d | ||
| 020 | _a007707968X | ||
| 082 | _a005.3 CAS | ||
| 100 | _aCasey, Chris | ||
| 245 | _aA programming approach to formal methods / Chris Casey. | ||
| 260 | _aMcgraw Hill | ||
| 650 | _aProgramming approach to formal methods | ||
| 999 |
_c12982 _d12982 |
||
| 952 |
_w2012-09-11 _p2100 _r2012-09-11 _40 _00 _bNU _10 _o005.3 CAS _d2012-09-11 _70 _yOS _aNU |
||