| 000 | 00728nam a22001697a 4500 | ||
|---|---|---|---|
| 008 | 230323b |||||||| |||| 00| 0 eng d | ||
| 020 | _a0444892826 | ||
| 040 |
_aNational Science Library _cNational Science Library |
||
| 080 |
_aD 681.02(082.2) _bN3 |
||
| 245 |
_aFormal description techniques, V : _bProceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Description Techniques for Distributed Systems and Communications Protocol-FORTE 92, Perros-Guirec, France, 13-16 October 1992 _c/ North-holland |
||
| 260 |
_aAmsterdam: _bNorth-holland, _c1993 |
||
| 300 | _axvi, 508p. | ||
| 650 | _aInformation technology | ||
| 653 | _aCommunication protocols | ||
| 700 | _aDiaz, Michel (Ed.) | ||
| 942 |
_2udc _cPR |
||
| 999 |
_c13064 _d13064 |
||