Metadata
| 000 -Etiqueta do registo |
|---|
| campo de controlo de comprimento fixo |
00788nam-a2200205---4500 |
| 001 - Identificador do registo |
|---|
| Campo de controlo |
233323 |
| 005 - Identificador da versão |
|---|
| Campo de controlo |
20200804144210.0 |
| 100 ## - Dados Gerais de Proc. |
|---|
| Dados gerais de processamento |
20031006d2002 k y0pory5003 ba |
| 101 0# - Língua da publicação |
|---|
| Língua do texto,banda sonora,etc. |
Português |
| 102 ## - País de Publicação |
|---|
| País de publicação |
Portugal |
| 200 1# - Título |
|---|
| Título próprio |
Uma abordagem à verificação automática de protocolos criptográficos |
| Primeira menção de responsabilidade |
José Carlos Bacelar Almeida |
| 210 ## - Publicação, Distribuição |
|---|
| Lugar da edição,distribuição,etc. |
Braga |
| Nome do editor,distribuidor,etc. |
Universidade do Minho |
| Data da publicação,distribuição,etc. |
2002 |
| 215 ## - Descrição física |
|---|
| Descrição física |
XII, 136 p. |
| Dimensões |
30 cm |
| 328 ## - Nota de dissertação ou tese |
|---|
| Texto da nota |
Dissertação: Grau de Doutor em Informática, ramo Fundamentos da Computação, Universidade do Minho |
| 675 ## - CDU |
|---|
| Notação |
519.6 |
| Edição |
med |
| Língua da edição |
Português |
| 675 ## - CDU |
|---|
| Notação |
681.3 |
| Edição |
med |
| Língua da edição |
Português |
| 700 #1 - Responsabilidade principal |
|---|
| Palavra de ordem |
Almeida, |
| Outra parte do nome |
José Bacelar |
| 090 ## - Números de controlo do sistema (Koha) |
|---|
| Número biblioitem do Koha (gerado automaticamente) |
233323 |
| 942 ## - Elementos de entrada adicionados (Koha) |
|---|
| Tipo de item no Koha |
Monografia |
| Suprimido |
Disponível no OPAC |
