| 000 | 00502nam a2200157Ia 4500 | ||
|---|---|---|---|
| 008 | 130318s9999 xx 000 0 und d | ||
| 020 | _a9783540602712 | ||
| 082 | _a005.131 BOW/Z | ||
| 100 | _aBowen, Jonathan P | ||
| 245 | _aZUM 95, The Z formal specification notation, Nineth International Conference of Z users,Proceedings 1995 | ||
| 260 |
_bSpringer _aBerlin _c1995 |
||
| 300 | _a569 | ||
| 440 | _aLecture Notes in Computer Science, 967 | ||
| 650 | _aFORMAL METHODS | ||
| 700 | _aHinchey, Michael G | ||
| 999 |
_c1453 _d1453 |
||