The correctness problem in computer science (Record no. 69263)
[ view plain ]
| 000 -Record Label | |
|---|---|
| fixed length control field | 00735nam a2200265 4500 |
| 010 ## - ISBN - International Standard Book Number | |
| Número (ISBN) | 0-12-122920-3 |
| Qualificação | encadernado |
| Modalidade de aquisição e/ou preço | Esc 2 360$ |
| 100 ## - Entrada principal | |
| Dados gerais de processamento | 19910712d1981 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 | The correctness problem in computer science |
| Primeira menção de responsabilidade | Robert S. Boyer, J. Strother Moore |
| 210 ## - Local de edição | |
| Lugar da edição, distribuição, etc. | Londres |
| Nome do editor, distribuidor, etc. | Academic Press |
| Data da publicação, distribuição, etc. | 1981 |
| 215 ## - Descrição física (Vol.pg.fl.tm.fsc) | |
| Descrição física | XIII, 279 p. |
| Outras indicações físicas | il: |
| Dimensões | 24 cm |
| 225 2# - Coleção | |
| Título próprio da colecção | International lecture series in computer science |
| 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-338 |
| 700 #1 - Autor (resp. principal) | |
| Palavra de ordem | Boyer |
| Outra parte do nome | Robert S. |
| 701 #1 - Co-responsabilidade principal | |
| Palavra de ordem | Moore |
| Outra parte do nome | J. Strother |
| 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 | Library of Congress Classification |
| Tipo de item no Koha | Monografia |
| Suprimido | 0 |
| Removido (estado) | Perdido (estado) | Data de aquisição | Número da cópia | Origem do registo | Origem do registo | Código da organização que empresta ou é detentora | 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 |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 2015-07-04 | 1 | FCT | Biblioteca NOVA FCT | Biblioteca NOVA FCT | FCT | Depósito 1 | 84387 | Não Ficção | 84266 | CIUL-338 FCT 84266 | Disponível | Monografia |
