Verificación de programas y metodología de la programación / Arantza Díaz de Ilarraza Sánchez, Francisca Luco Carrasco (Registro nro. 37799)
[ vista simple ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 01263nam a2200229i 44500 |
| 003 - CONTROL NUMBER IDENTIFIER | |
| control field | OSt |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20220613220404.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 220613b |||||||| |||| 00| 0 spa d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 84-7585-266-1 |
| 040 ## - CATALOGING SOURCE | |
| Transcribing agency | Biblioteca Nora Rigby |
| 080 ## - UNIVERSAL DECIMAL CLASSIFICATION NUMBER | |
| Universal Decimal Classification number | 005.1 D4501 |
| 100 ## - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Diaz de Ilarraza Sánchez, A. [et.al] |
| 9 (RLIN) | 13570 |
| 245 10 - TITLE STATEMENT | |
| Title | Verificación de programas y metodología de la programación / Arantza Díaz de Ilarraza Sánchez, Francisca Luco Carrasco |
| 250 ## - EDITION STATEMENT | |
| Edition statement | 1 |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. | |
| Place of publication, distribution, etc. | Ecuador: Servicio editorial Universidada del Pais Vasco |
| Date of publication, distribution, etc. | 1990 |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | 199 hojas |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE | |
| Bibliography, etc. note | índice, grafico, bibliografía |
| 505 ## - FORMATTED CONTENTS NOTE | |
| Formatted contents note | Especificación de abstracción funcionales, el sistema formal de hoare, concepto de sistema formal y de demostración formal, el axioma de asignación, las reglas de composición secuencial, las reglas de composición condicional, la iteración y el concepto de invariante, la asignación dela terminación de programas, la asignación a campos de registros y la sentencia with, a verificación de procedimientos sin parámetros. |
| 590 ## - LOCAL NOTE (RLIN) | |
| Local note | Col. Inform |
| 650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | 1. PROGRAMACIÓN 2. VERIFICACIÓN-METODOLOGÍA-PROGRAMACIÓN 3. PROGRAMACIÓN-COMPUTADORES ELECTRÓNICOS 4. INFORMÁTICA |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Koha item type | Libros |
| Source of classification or shelving scheme | |
| Withdrawn status | Lost status | Source of classification or shelving scheme | Damaged status | Not for loan | Collection code | Home library | Current library | Shelving location | Date acquired | Inventory number | Total Checkouts | Full call number | Barcode | Date last seen | Copy number | Price effective from | Koha item type |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Disponible | Informática Administrativa | Biblioteca URACCAN, Bluefields | Biblioteca URACCAN, Bluefields | Staff Office | 13.06.2022 | 6230 | 6230 C1 | 9 788475 852669 | 13.06.2022 | C1 | 13.06.2022 | Libros | |||||
| Disponible | Informática Administrativa | Biblioteca URACCAN, Bluefields | Biblioteca URACCAN, Bluefields | Staff Office | 13.06.2022 | 6231 | 6231 C2 | 9 788475 852670 | 13.06.2022 | C2 | 13.06.2022 | Libros |