| 000 | 00646nam a2200169Ia 4500 | ||
|---|---|---|---|
| 999 |
_c6091 _d6091 |
||
| 008 | 161214s9999 xx 000 0 und d | ||
| 020 |
_a9783540402534 _cpbk |
||
| 082 |
_a004 _bBER |
||
| 100 | _aBert, Didier | ||
| 245 | 0 | _aZB 2003: Formal specification and development in Z and B: Third inetrnational conference of B and Z users Turku, Finland, June 4-6, 2003 proceedings | |
| 260 |
_aBerlin: _bSpringer-Verlag, _c2003 |
||
| 300 |
_a545 p.; _bIndex.: _c23 cm. |
||
| 365 |
_aINR _b3669.00 |
||
| 440 | _v2651 | ||
| 490 | _aLecture notes in computer science | ||
| 650 | _aAlloy | ||
| 650 | _aZ Language | ||
| 650 | _aB Language | ||
| 650 | _aFormal Specification | ||
| 942 |
_2ddc _cBK |
||