Metadata
| 000 -Etiqueta do registo |
|---|
| campo de controlo de comprimento fixo |
01163nlm-a2200253---4500 |
| 001 - Identificador do registo |
|---|
| Campo de controlo |
304789 |
| 005 - Identificador da versão |
|---|
| Campo de controlo |
20200804160823.0 |
| 100 ## - Dados Gerais de Proc. |
|---|
| Dados gerais de processamento |
20130515d2010 k y0pory5003 ba |
| 101 0# - Língua da publicação |
|---|
| Língua do texto,banda sonora,etc. |
Inglês |
| 102 ## - País de Publicação |
|---|
| País de publicação |
Portugal |
| 200 1# - Título |
|---|
| Título próprio |
Towards a formally verified microkernel using the VCC verifier |
| Indicação geral da natureza do documento |
Documento eletrónico |
| Primeira menção de responsabilidade |
Joaquim José e Silva de Carvalho Tojal |
| Outras menções de responsabilidade |
orient. Simão Melo de Sousa, José Miguel Faria |
| 210 ## - Publicação, Distribuição |
|---|
| Lugar da edição,distribuição,etc. |
Covilhã |
| Nome do editor,distribuidor,etc. |
[s.n.] |
| Data da publicação,distribuição,etc. |
2010 |
| 215 ## - Descrição física |
|---|
| Descrição física |
1 disco ótico (CD-ROM) |
| Outras indicações físicas |
il. |
| Dimensões |
em caixa 13x14x1 cm |
| 304 ## - Título e responsabilidade |
|---|
| Texto da nota |
Título retirado do ecrã de título |
| 328 #0 - Nota de dissertação ou tese |
|---|
| Especificações da dissertação ou tese e tipo de grau académico |
Dissertação mestrado |
| Área cientifica do grau académico |
Computer Science |
| Instituição que confere o grau académico |
Departamento de Ciências de Computação da Universidade da Beira Interior |
| Ano do grau académico |
2010 |
| 675 ## - CDU |
|---|
| Notação |
681.3 |
| Edição |
int |
| Língua da edição |
Inglês |
| 700 #1 - Responsabilidade principal |
|---|
| Palavra de ordem |
Tojal, |
| Outra parte do nome |
Joaquim José e Silva de Carvalho |
| 702 #1 - Responsabilidade secundária |
|---|
| Koha Internal Code |
257840 |
| Palavra de ordem |
Sousa, |
| Outra parte do nome |
Simão Melo de |
| Código de função |
Orientador de tese |
| 702 #1 - Responsabilidade secundária |
|---|
| Koha Internal Code |
257841 |
| Palavra de ordem |
Faria, |
| Outra parte do nome |
José Miguel |
| Código de função |
Orientador de tese |
| 712 02 - Colectividade (resp. secundária) |
|---|
| Palavra de ordem |
Universidade da Beira Interior. |
| Subdivisão |
Departamento de Ciências de Computação |
| Código de função |
Instituição que confere o grau |
| 801 #0 - Fonte de origem |
|---|
| País |
Portugal |
| Agência |
UMSD |
| Data da última transacção |
20130515 |
| Regras de catalogação |
RPC |
| 090 ## - Números de controlo do sistema (Koha) |
|---|
| Número biblioitem do Koha (gerado automaticamente) |
304789 |
| 942 ## - Elementos de entrada adicionados (Koha) |
|---|
| Tipo de item no Koha |
Produtos Computador |
| Suprimido |
Disponível no OPAC |
