Metadata
000 -Etiqueta do registo |
campo de controlo de comprimento fixo |
00927nam0a22002410004500 |
001 - Identificador do registo |
Campo de controlo |
151248 |
005 - Identificador da versão |
Campo de controlo |
20200804130456.0 |
010 ## - ISBN |
Número (ISBN) |
3-540-5213-0 |
Qualificação |
(Brochado) |
100 ## - Dados Gerais de Proc. |
Dados gerais de processamento |
19981011d1990 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 |
Alemanha |
200 1# - Título |
Título próprio |
VDM'90 |
Informação de outro título |
VDM and Z - formal methods in software development |
Primeira menção de responsabilidade |
Tird International Symposium of VDM Europe |
Outras menções de responsabilidade |
ed. D. Bjorner, C. A. R. Hoare, H. Langmaack |
210 ## - Publicação, Distribuição |
Lugar da edição,distribuição,etc. |
Berlin |
Nome do editor,distribuidor,etc. |
Springer-Verlag |
Data da publicação,distribuição,etc. |
cop. 1990 |
215 ## - Descrição física |
Descrição física |
XVII, 579 p. |
Dimensões |
24 cm |
225 2# - Colecção |
Título próprio da colecção |
Lecture notes in computer science |
Indicação de volume |
428) |
675 ## - CDU |
Notação |
519.6 |
Edição |
int |
Língua da edição |
Inglês |
702 #1 - Responsabilidade secundária |
Koha Internal Code |
18492 |
Palavra de ordem |
Bjorner, |
Outra parte do nome |
D. |
Código de função |
Coordenador/Editor |
702 #1 - Responsabilidade secundária |
Koha Internal Code |
83022 |
Palavra de ordem |
Hoare, |
Outra parte do nome |
C. A. R. |
Código de função |
Coordenador/Editor |
702 #1 - Responsabilidade secundária |
Koha Internal Code |
99679 |
Palavra de ordem |
Langmaack, |
Outra parte do nome |
H. |
Código de função |
Coordenador/Editor |
710 12 - Colectividade (resp. principal) |
Palavra de ordem |
International Symposium of VDM Europe, |
Número do grupo-eventual |
3, |
Local do grupo-eventual |
Kiel, |
Data do grupo-eventual |
1990 |
090 ## - Números de controlo do sistema (Koha) |
Número biblioitem do Koha (gerado automaticamente) |
151248 |
942 ## - Elementos de entrada adicionados (Koha) |
Tipo de item no Koha |
Monografia |
Suprimido |
Disponível no OPAC |