| 000 | 00610nam a22002177a 4500 | ||
|---|---|---|---|
| 003 | SNU | ||
| 005 | 20141201004106.0 | ||
| 008 | 141119b xxu||||| |||| 00| 0 eng d | ||
| 020 | _a9780521559768 | ||
| 028 | _aHCL | ||
| 082 | _a005.12 JAC | ||
| 100 | _aJacky, Jonathan | ||
| 245 |
_aThe Way of Z _b: Practical Programming with Formal Methods |
||
| 260 |
_aUSA _b; Cambridge University Press _c, 1997. |
||
| 300 | _axviii; 350 p. | ||
| 655 | _aThe Way of Z | ||
| 655 | _aPractical Programming with Formal Methods | ||
| 655 | _aComputer Programming Language Z | ||
| 655 | _aComputer | ||
| 942 |
_2ddc _cHCL |
||
| 999 |
_c39330 _d39330 |
||