Search
| Label | 00000cx a2200037n 45 0 | ||
|---|---|---|---|
| 001 | PTBNP|33881 (VIAF cluster) | ||
| 003 | PTBNP | ||
| 035 | ‡a (PTBNP)33881 | ||
| 095 | ‡a PTBN00024146 | ||
| 100 | ‡a 19911023apory0103 ba | ||
| 152 | ‡a RPC | ||
| 200 | 1 | ‡a Baptista, ‡b Mário Abílio Lopes | |
| 801 | 0 | ‡a PT ‡b BN | |
| 810 | ‡a Especificação formal e verificação de protocolos complexos | ||
| 830 | ‡9 PT ‡a Engenheiro electrotécnico e de computadores | ||
| 910 | ‡a especificacaoformaleverificacaodeprotocoloscomplexos ‡A Especificação formal e verificação de protocolos complexos ‡l por ‡9 1 | ||
| 922 | ‡a ‡b pt ‡9 1 | ||
| 930 | ‡a mario abilio lopes baptista ‡f Mário Abílio Lopes Baptista ‡9 1 | ||
| 940 | ‡a por ‡9 1 | ||
| 944 | ‡a am ‡9 1 | ||
| 996 | ‡2 ISNI|0000000068006936 | ||
| 996 | ‡2 ISNI|0000000373516035 | ||
| 996 | ‡2 WKP|Q770323 | ||
| 996 | ‡2 BNCHL|10000000000000000039273 | ||
| 996 | ‡2 LC|no2011179417 | ||
| 996 | ‡2 LC|n 80162754 | ||
| 996 | ‡2 DNB|130202215 | ||
| 996 | ‡2 DNB|105649283X | ||
| 996 | ‡2 BIBSYS|90716839 | ||
| 996 | ‡2 ISNI|0000000020992474 | ||
| 996 | ‡2 JPG|500690922 | ||
| 997 | ‡a 0 0 lived 0 0 ‡9 1 | ||
| 998 | ‡a Baptista, Mário Abílio Lopes ‡2 ISNI|0000000068006936 ‡3 exact name | ||
| 999 | ‡2 PTBNPBIB|330707 |
