Catálogo bibliográfico FCT/UNL

Computer aided verification (Record no. 19855)

000 -Record Label
fixed length control field 00817nam a2200253 4500
010 ## - ISBN - International Standard Book Number
Número (ISBN) 3-540-60045-0
Qualificação brochado
Modalidade de aquisição e/ou preço Esc 11 550$
100 ## - Entrada principal
Dados gerais de processamento 19961002d1995 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 Germany
200 1# - Título
Título próprio Computer aided verification
Informação de outro título proceedings of the 7th international conference, CAV'95, held in Liège, Belgium, July 1995
Primeira menção de responsabilidade editor Pierre Wolper
210 ## - Local de edição
Lugar da edição, distribuição, etc. Berlin [etc.]
Nome do editor, distribuidor, etc. Springer-Verlag
Data da publicação, distribuição, etc. cop. 1995
215 ## - Descrição física (Vol.pg.fl.tm.fsc)
Descrição física X, 450 p.
Outras indicações físicas il.
Dimensões 24 cm
225 2# - Coleção
Título próprio da colecção Lecture Notes in Computer Science
Indicação de volume 939
300 ## - Notas gerais
Texto da nota Colocação: Dep. 1
606 ## - Nome comum como assunto
Koha Internal code 23418
Elemento de entrada Software
Subdivisão de assunto Avaliação
606 ## - Nome comum como assunto
Koha Internal code 17091
Elemento de entrada Computadores electrónicos digitais
680 ## - Classificação Biblioteca Congresso
Notação QA75.5
702 ## - Responsabilidade secundária
Koha Internal Code 57732
Palavra de ordem Wolper
Outra parte do nome Pierre
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
Holdings
Removido (estado) Perdido (estado) Data de aquisição Número da cópia Origem do registo Código da organização que empresta ou é detentora Localização da prateleira Código de barras Coleção Número de inventário Cota Tipo de circulação Tipo de item e material Origem do registo Organização que empresta ou é detentora
    2000-05-05 1 Biblioteca da FCTUNL Biblioteca da FCTUNL Depósito 1 0014267 Não Ficção 30586 QA75.5.LEC FCT 30586 Disponível Monografia FCT FCT
Moodle da Biblioteca Slideshare da Biblioteca Siga-nos no Issuu Twitter da Biblioteca Instagram da Biblioteca Facebook da Biblioteca Blog da Biblioteca