Catálogo bibliográfico FCT/UNL

The use of formal specification of software (Record no. 69201)

000 -Record Label
fixed length control field 00762nam a2200277 4500
010 ## - ISBN - International Standard Book Number
Número (ISBN) 3-540-10442-9
Qualificação brochado
Modalidade de aquisição e/ou preço Esc 1 638$
100 ## - Entrada principal
Dados gerais de processamento 19910704d1980 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 The use of formal specification of software
Primeira menção de responsabilidade H. K. Berg, ed. lt., W. K. Giloi, ed. lit.
210 ## - Local de edição
Lugar da edição, distribuição, etc. Berlin
Nome do editor, distribuidor, etc. Springer-Verlag
Data da publicação, distribuição, etc. 1980
215 ## - Descrição física (Vol.pg.fl.tm.fsc)
Descrição física IV, 388 p.
Outras indicações físicas il.
Dimensões 25 cm
225 2# - Coleção
Título próprio da colecção Informatik-Fachberichte
Indicação de volume 36
606 ## - Nome comum como assunto
Koha Internal code 5374
Elemento de entrada Semântica
606 ## - Nome comum como assunto
Koha Internal code 6309
Elemento de entrada Programação
Subdivisão de assunto Metodologia
680 ## - Classificação Biblioteca Congresso
Notação QA76
686 ## - Outras classificações
Notação CIUL-250
702 ## - Responsabilidade secundária
Palavra de ordem Berg
Outra parte do nome H. K.
Código de função ed. lit.
Koha Internal Code 50324
702 ## - Responsabilidade secundária
Koha Internal Code 50325
Palavra de ordem Gilo
Outra parte do nome W. K.
Código de função ed. lit.
801 #0 - Fonte de origem
País Portugal
Regras de catalogação RPC
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
    2015-07-04 1 Biblioteca da FCTUNL Biblioteca da FCTUNL Depósito 1 84325 Não Ficção 84204 CIUL-250 FCT 84204 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