| 000 | 00766nam a2200229zi 4500 | ||
|---|---|---|---|
| 005 | 20220224111501.0 | ||
| 008 | 970106s1993 000 0 eng | ||
| 020 | _a0471934550 | ||
| 035 | _aMX001000625270 | ||
| 050 |
_aQA76.6 _bU848 |
||
| 245 | 0 | 0 |
_aUsing formal description techniques : _bAn introduction to estelle, lotos, and sdl / _cEd. by Kenneth j. Turner |
| 264 | 1 |
_aChichester : _bJ. Wiley, _c1993 |
|
| 300 | _a431 páginas | ||
| 490 | 0 | _aWiley series in communication and distributed systems | |
| 650 | _aProgramación de computadoras | ||
| 650 | _aLenguajes formales | ||
| 700 |
_aTurner, Kenneth J. _eeditor |
||
| 336 |
_atexto _2rdacontent |
||
| 337 |
_asin medio _2rdamedia |
||
| 338 |
_avolumen _2rdacarrier |
||
| 999 |
_c3416 _d3416 |
||