| 000 | 00535nam a2200157 a 4500 | ||
|---|---|---|---|
| 005 | 20130905101738.0 | ||
| 008 | 960221s1955 dcuabcdjdbkoqu001 0deng d | ||
| 100 |
_aDiaz, Michel _eed.by |
||
| 245 | _aProtocol specification, testing and verification | ||
| 260 |
_aAmsterdam _bNorth-Holland Publishing Company _c1986 |
||
| 300 | _axi, 544 p. | ||
| 500 | _a | ||
| 653 |
_aComputer science _aProtocol specification, testing and verification _aprotocol specification _aprotocol testing _aprotocol verification |
||
| 942 | _cBK | ||
| 003 | ViArRB | ||
| 999 |
_c11283 _d11282 |
||