Desenvolvimento sistemático de programas corretos: (Record no. 17392)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 00738n a2200253#a 4500 |
| 001 - CONTROL NUMBER | |
| control field | 16758 |
| 003 - CONTROL NUMBER IDENTIFIER | |
| control field | P5A |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20240404163450.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 980602s1988 bl 000 0 por d |
| 035 ## - SYSTEM CONTROL NUMBER | |
| System control number | ocm39214371 |
| 040 ## - CATALOGING SOURCE | |
| Original cataloging agency | P5A |
| Language of cataloging | por |
| Transcribing agency | P5A |
| 049 ## - LOCAL HOLDINGS (OCLC) | |
| Holding library | P5AA |
| 082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER | |
| Classification number | 005.133 |
| Item number | M386d |
| 090 ## - IMPA CODE FOR CLASSIFICATION SHELVES | |
| IMPA CODE FOR CLASSIFICATION SHELVES | Matemática Aplicada 12-Informática. |
| 100 1# - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Martins, R. C. B. |
| 9 (RLIN) | 20988 |
| 245 10 - TITLE STATEMENT | |
| Title | Desenvolvimento sistemático de programas corretos: |
| Remainder of title | a abordagem denotacional/ |
| Statement of responsibility, etc. | R. C. B. Martins. |
| 250 ## - EDITION STATEMENT | |
| Edition statement | [1st ed.] |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. | |
| Place of publication, distribution, etc. | Campinas: |
| Name of publisher, distributor, etc. | Unicamp, |
| Date of publication, distribution, etc. | 1988. |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | 385 p. |
| 490 #0 - SERIES STATEMENT | |
| Series statement | Escola de computação; |
| Volume/sequential designation | 6. |
| -- | 20372 |
| 697 ## - LOCAL SUBJECT | |
| Local Subject | Matemática Aplicada 12- |
| Description subdivision | Informática. |
| Linkage | 23759 |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Moura, Arnaldo V., |
| Dates associated with a name | 1950- |
| 9 (RLIN) | 34036 |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Source of classification or shelving scheme | Instituto de Matemática Pura e Aplicada |
| Koha item type | Books |
| Withdrawn status | Lost status | Source of classification or shelving scheme | Damaged status | Not for loan | Collection | Home library | Current library | Shelving location | Date acquired | Total Checkouts | Full call number | Barcode | Date last seen | Copy number | Price effective from | Koha item type |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Dewey Decimal Classification | Livros (Books) | Castorina | Castorina | Estantes Abertas (Open Shelves) | 1999-05-25 | 005.133 M386d 1988 IMPA | 39063000161920 | 2022-12-02 | 1 | 2022-12-02 | Books |