| 000 | 00925cam a2200253 i 4500 | ||
|---|---|---|---|
| 005 | 20171212141849.0 | ||
| 008 | 020524s1993 xxka | |001 ||eng|c | ||
| 020 | _a0471934550 | ||
| 035 | _axx002390620 | ||
| 039 | 9 |
_a201609201124 _bkopilwa _c201310280129 _dVLOAD _c201310250149 _dVLOAD _y201203021439 _zVLOAD |
|
| 040 |
_aNUKAT _cGD U/AJ |
||
| 245 | 0 | 0 |
_aUsing formal description techniques : _ban introduction to ESTELLE, LOTOS and SDL / _ced. by Kenneth J. Turner. |
| 260 |
_aChichester : _bJohn Wiley & Sons, _ccop. 1993. |
||
| 300 |
_aXXVIII, 431 s. : _brys. ; _c24 cm. |
||
| 490 | 1 | _aWiley Series in Communication and Distributed Systems | |
| 504 | _aBibliogr. s. 409-414. | ||
| 504 | _aIndeksy. | ||
| 650 |
_aKomputery _xprogramowanie. |
||
| 650 | _aJęzyki formalne. | ||
| 700 | 1 |
_aTurner, Kenneth J. _eRed. |
|
| 830 | 0 | _aWiley Series in Communication and Distributed Systems | |
| 920 | _a0-471-93455-0 | ||
| 960 | _aGD_U | ||
| 961 | _aWA_310 | ||
| 999 |
_c1198 _d1198 |
||