| 000 | 01425nam a2200289 a 4500 | ||
|---|---|---|---|
| 003 | AR-LpUFIB | ||
| 005 | 20240131182902.0 | ||
| 007 | ta | ||
| 008 | 230201s1996 xxk dr 000 0 eng d | ||
| 020 | _a0412716208 | ||
| 024 | 8 | _aDIF000302 | |
| 040 |
_aAR-LpUFIB _bspa _cAR-LpUFIB |
||
| 100 | 1 |
_aIFIP WG6.1 International Symposium on Protocol Specification Testing and Verification (15º : 1995 : Varsovia) _9248596 |
|
| 245 | 1 | 0 |
_aProtocol specification, testing and verification XV : _bproceedings of the Fifteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification, Warsaw, Poland, June 1995 |
| 250 | _a1st ed. | ||
| 260 |
_aLondon : _b Chapman & Hall, _c1996 |
||
| 300 |
_avii, 455 p. ; _c23 cm. |
||
| 505 | 0 | _a Specification and verification: time-dependent analysis -- Specification of concurrent systems -- Testing -- Specification and verification: temporal approach -- Validation and testing -- Specification and analysis -- Verification: model checking -- High speed / multimedia -- Towards implementation. | |
| 650 | 4 |
_aREQUERIMIENTOS/ESPECIFICACIONES _9248002 |
|
| 650 | 4 |
_aINGENIERÍA DE SOFTWARE _9247951 |
|
| 650 | 4 |
_aVERIFICACIÓN DE PROTOCOLOS _9248599 |
|
| 650 | 4 |
_aREUNIONES _9134242 |
|
| 700 | 1 |
_aInternational Federation for Information Processing - IFIP _9248021 |
|
| 700 | 1 |
_aSredniawa, Marek _9248601 |
|
| 700 | 1 |
_aDembinski, Piotr _9248602 |
|
| 942 | _cBK | ||
| 999 |
_c842543 _d842543 |
||