| 000 | 00533nam a2200169Ia 4500 | ||
|---|---|---|---|
| 008 | 130318s9999 xx 000 0 und d | ||
| 020 | _a9783540627173 | ||
| 082 | _a005.131 BOW/Z | ||
| 100 | _aBowen, Jonathan P | ||
| 245 | _aZUM 97, The Z formal specification notation, Tenth International Conference of Z Users, Proceedings, 1997. | ||
| 260 |
_bSpringer _aBerlin _c1997 |
||
| 300 | _a433 | ||
| 440 | _aLecture Notes in Computer Science,1212 | ||
| 650 | _aFORMAL METHODS | ||
| 700 | _aHinchey, Michael G | ||
| 700 | _aTill, David | ||
| 999 |
_c1454 _d1454 |
||