| 000 | 00532nam a2200169Ia 4500 | ||
|---|---|---|---|
| 008 | 130318s9999 xx 000 0 und d | ||
| 020 | _a9783540650706 | ||
| 082 | _a005.131 BOW/Z | ||
| 100 | _aBowen,Jonathan P | ||
| 245 | _aZUM 98, Z formal specification notation, Eleventh International Conference of Z Users, Proceedings, 1998. | ||
| 260 |
_bSpringer _aBerlin _c1998 |
||
| 300 | _a415 | ||
| 440 | _aLecture Notes in Computer Science,1493 | ||
| 650 | _aFORMAL METHODS | ||
| 700 | _aFett, Andreas | ||
| 700 | _aHinchey, Michael G | ||
| 999 |
_c1455 _d1455 |
||