Metadata
000 -Etiqueta do registo |
campo de controlo de comprimento fixo |
00867nam-a2200229---4500 |
001 - Identificador do registo |
Campo de controlo |
225696 |
005 - Identificador da versão |
Campo de controlo |
20200804143305.0 |
010 ## - ISBN |
Número (ISBN) |
3-540-43477-1 |
Qualificação |
Brochado |
100 ## - Dados Gerais de Proc. |
Dados gerais de processamento |
20021022d2002 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 |
Model checking software |
Informação de outro título |
proceedings |
Primeira menção de responsabilidade |
9th International SPIN Workshop... |
Outras menções de responsabilidade |
ed. Dragan Bosnacki, Stefan Leue |
210 ## - Publicação, Distribuição |
Lugar da edição,distribuição,etc. |
Berlin |
Nome do editor,distribuidor,etc. |
Springer |
Data da publicação,distribuição,etc. |
cop. 2002 |
215 ## - Descrição física |
Descrição física |
X, 257 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 |
2318 |
675 ## - CDU |
Notação |
681.3.06 |
Edição |
int |
Língua da edição |
Inglês |
702 #1 - Responsabilidade secundária |
Koha Internal Code |
21100 |
Palavra de ordem |
Bosnacki, |
Outra parte do nome |
Dragan |
Código de função |
Coordenador/Editor |
702 #1 - Responsabilidade secundária |
Koha Internal Code |
103130 |
Palavra de ordem |
Leue, |
Outra parte do nome |
Stefan |
Código de função |
Coordenador/Editor |
710 12 - Colectividade (resp. principal) |
Palavra de ordem |
International SPIN Workshop [on] Model Checking Software, |
Número do grupo-eventual |
9, |
Local do grupo-eventual |
Grenoble, |
Data do grupo-eventual |
2002 |
090 ## - Números de controlo do sistema (Koha) |
Número biblioitem do Koha (gerado automaticamente) |
225696 |
942 ## - Elementos de entrada adicionados (Koha) |
Tipo de item no Koha |
Monografia |
Suprimido |
Disponível no OPAC |