000 -Record Label |
fixed length control field |
00987nam a2200301 4500 |
010 ## - ISBN - International Standard Book Number |
Número (ISBN) |
0-521-64170-5 |
Qualificação |
encadernado |
Modalidade de aquisição e/ou preço |
Esc 14 554$ |
100 ## - Entrada principal |
Dados gerais de processamento |
20000308d1998 k||y0pory50 ba |
101 0# - Língua do documento |
Língua do texto, banda sonora, etc. |
eng |
102 ## - País da publicação |
País de publicação |
GB - United Kingdom of Great Britain & N. Ireland |
200 1# - Título |
Título próprio |
Data refinement |
Informação de outro título |
model-oriented proof methods and their comparison |
Primeira menção de responsabilidade |
Willem-Paul de Roever, Kai Engelhardt |
Outras menções de responsabilidade |
ed. by Karl-Heinz Buth |
210 ## - Local de edição |
Lugar da edição, distribuição, etc. |
Cambridge, UK |
Nome do editor, distribuidor, etc. |
Cambridge University Press |
Data da publicação, distribuição, etc. |
cop. 1998 |
215 ## - Descrição física (Vol.pg.fl.tm.fsc) |
Descrição física |
XI, 423 p. |
Outras indicações físicas |
il. |
Dimensões |
24 cm |
225 2# - Coleção |
Título próprio da colecção |
Cambridge Tracts in Theoretical Computer Science |
Indicação de volume |
47 |
310 ## - Notas Encadernação e aquisição |
Texto da nota |
Adquirido DI |
606 ## - Nome comum como assunto |
Koha Internal code |
5781 |
Elemento de entrada |
Simulação por computador |
606 ## - Nome comum como assunto |
Koha Internal code |
5124 |
Elemento de entrada |
Estruturas de dados (Informática) |
606 ## - Nome comum como assunto |
Koha Internal code |
48765 |
Elemento de entrada |
Software |
Subdivisão de assunto |
Verificação |
680 ## - Classificação Biblioteca Congresso |
Notação |
QA76.9 |
700 ## - Autor (resp. principal) |
Koha Internal Code |
64422 |
Palavra de ordem |
Roever |
Outra parte do nome |
Willem-Paul de |
701 ## - Co-responsabilidade principal |
Koha Internal Code |
64423 |
Palavra de ordem |
Engelhardt |
Outra parte do nome |
Kai |
Código de função |
co-aut. |
702 ## - Responsabilidade secundária |
Koha Internal Code |
64424 |
Palavra de ordem |
Buth |
Outra parte do nome |
Karl-Heinz |
Código de função |
ed. lit. |
801 #0 - Fonte de origem |
Regras de catalogação |
RPC |
País |
Portugal |
942 ## - Elementos de entrada adicionados (Koha) |
Fonte da classificação ou esquema de estante |
|
Tipo de item no Koha |
Monografia |
Suprimido |
0 |