| 000 | 00519nam a2200169Ia 4500 | ||
|---|---|---|---|
| 999 |
_c14438 _d14438 |
||
| 008 | 161214s9999 xx 000 0 und d | ||
| 020 |
_a9780333992814 _c(pbk) |
||
| 082 |
_a005.1 _bCHA |
||
| 100 | _aCharatan, Quentin | ||
| 245 | 0 | _aFormal software development : from VDM to Java | |
| 260 |
_aNew York: _bPalgrave Macmillan, _c2004 |
||
| 300 |
_axiii, 239 p.; _bill.: _c25 cm. |
||
| 365 |
_aEURO _b10.99, Rs. 818.76 |
||
| 650 | _aComputer software Development | ||
| 650 | _aFormal methods | ||
| 650 | _aProgramming | ||
| 650 | _aVDM spesification | ||
| 650 | _aJava implementation | ||
| 700 | _aKans, Aaron | ||
| 942 |
_2ddc _cBK |
||