Verification, slicing, and visualization of programs with contracts (Registo nº 299052)
[ vista simples ]
| 000 -Etiqueta do registo | |
|---|---|
| campo de controlo de comprimento fixo | 01061nam-a2200253---4500 |
| 001 - Identificador do registo | |
| Campo de controlo | 299052 |
| 005 - Identificador da versão | |
| Campo de controlo | 20221104134636.0 |
| 100 ## - Dados Gerais de Proc. | |
| Dados gerais de processamento | 20120629d2011 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 | Verification, slicing, and visualization of programs with contracts |
| Indicação geral da natureza do documento | Documento electrónico |
| Primeira menção de responsabilidade | Daniela Carneiro da Cruz |
| Outras menções de responsabilidade | orient. Pedro Rangel Henriques, Jorge Sousa Pinto |
| 210 ## - Publicação, Distribuição | |
| Lugar da edição,distribuição,etc. | Braga |
| Nome do editor,distribuidor,etc. | [s.n.] |
| Data da publicação,distribuição,etc. | 2011 |
| 303 ## - Informação descritiva | |
| Texto da nota | Descrição baseada no documento electrónico |
| 328 #0 - Nota de dissertação ou tese | |
| Especificações da dissertação ou tese e tipo de grau académico | Tese doutoramento |
| Área cientifica do grau académico | Informática (área de especialização em Ciências da Computação) |
| Instituição que confere o grau académico | Escola de Engenharia da Universidade do Minho |
| Ano do grau académico | 2011 |
| 675 ## - CDU | |
| Notação | 681.3.06 |
| Edição | med |
| Língua da edição | Português |
| 675 ## - CDU | |
| Notação | 519.688 |
| Edição | med |
| Língua da edição | Português |
| 700 #1 - Responsabilidade principal | |
| Palavra de ordem | Cruz, |
| Outra parte do nome | Daniela da |
| 702 #1 - Responsabilidade secundária | |
| Koha Internal Code | 81248 |
| Palavra de ordem | Henriques, |
| Outra parte do nome | Pedro Rangel |
| Código de função | Orientador de tese |
| 702 #1 - Responsabilidade secundária | |
| Koha Internal Code | 139130 |
| Palavra de ordem | Pinto, |
| Outra parte do nome | Jorge Sousa, |
| Datas | 1969- |
| Código de função | Orientador de tese |
| 712 02 - Colectividade (resp. secundária) | |
| Palavra de ordem | Universidade do Minho. |
| Subdivisão | Escola de Engenharia |
| 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 | 20070625 |
| Regras de catalogação | RPC |
| 856 4# - Localização e acesso electrónico | |
| URL | http://hdl.handle.net/1822/19646 |
| Nota para informação ao público | Acesso livre |
| -- | N |
| 090 ## - Números de controlo do sistema (Koha) | |
| Número biblioitem do Koha (gerado automaticamente) | 299052 |
| 942 ## - Elementos de entrada adicionados (Koha) | |
| Tipo de item no Koha | Monografia |
| Suprimido | Disponível no OPAC |
Não há exemplares disponíveis.
