Catálogo bibliográfico FCT/UNL

Refinement calculus (Record no. 25986)

000 -Record Label
fixed length control field 00787nam a2200265 4500
010 ## - ISBN - International Standard Book Number
Número (ISBN) 0-387-98417-8
Qualificação encadernado
Modalidade de aquisição e/ou preço Esc 11 645$
100 ## - Entrada principal
Dados gerais de processamento 19990701d1998 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 US - United States of America
200 1# - Título
Título próprio Refinement calculus
Informação de outro título a systematic introduction
Primeira menção de responsabilidade Ralph-Johan Back, Joakim von Wright
210 ## - Local de edição
Lugar da edição, distribuição, etc. New York [etc.]
Nome do editor, distribuidor, etc. Springer
Data da publicação, distribuição, etc. cop. 1998
215 ## - Descrição física (Vol.pg.fl.tm.fsc)
Descrição física XV, 519 p.
Outras indicações físicas il.
Dimensões 25 cm
225 2# - Coleção
Título próprio da colecção Graduate texts in computer science
606 ## - Nome comum como assunto
Koha Internal code 3335
Elemento de entrada Programação de computadores
606 ## - Nome comum como assunto
Koha Internal code 17126
Elemento de entrada Lógica de computador
606 ## - Nome comum como assunto
Koha Internal code 3673
Elemento de entrada Cálculo
680 ## - Classificação Biblioteca Congresso
Notação QA76.6
700 ## - Autor (resp. principal)
Koha Internal Code 56829
Palavra de ordem Back
Outra parte do nome Ralph-Johan
701 ## - Co-responsabilidade principal
Koha Internal Code 56830
Palavra de ordem Wright
Outra parte do nome Joakim von
Código de função co-aut.
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 Sala azul/Piso 2 0014513 Não Ficção 38334 QA76.6.BAC FCT 38334 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