Verificación y Desarrollo de Programas (Registro nro. 17663)
[ vista simple ]
| 000 -LÍDER | |
|---|---|
| campo de control de longitud fija | 01029nam a2200277Ia 4500 |
| 005 - FECHA Y HORA DE LA ÚLTIMA TRANSACCIÓN | |
| campo de control | 20230503142941.0 |
| 008 - ELEMENTOS DE DATOS DE LONGITUD FIJA - INFORMACIÓN GENERAL | |
| campo de control de longitud fija | 180913b xxu||||| |||| 00| 0 spa d |
| 020 ## - NÚMERO ESTÁNDAR INTERNACIONAL DE LIBROS | |
| ISBN | 9589057209 |
| 040 ## - FUENTE DE CATALOGACIÓN | |
| -- | UNASAM - BIBLIOTECA - FC |
| 041 ## - ÓDIGO DE IDIOMA | |
| Código de idioma | spa |
| 082 ## - NÚMERO DE CLASIFICACIÓN DECIMAL DEWEY | |
| Notación interna | C26 |
| Edición Dewey | 21 |
| Número de clasificación | 005.3 |
| 100 ## - NOMBRE DEL PERSONAL | |
| Apellidos, Nombres | Cardoso,Rodrigo |
| 245 #0 - TÍTULO DEL LIBRO | |
| Título | Verificación y Desarrollo de Programas |
| Mención de responsabilidad: | /Rodrigo Cardoso |
| 260 ## - CIUDAD : EDITORIAL, AÑO DE PUBLICACIÓN | |
| Editorial: | Edit.Uniandes. |
| Fecha de publicación: | 1991 |
| 300 ## - DESCRIPCIÓN FÍSICA | |
| Paginas,Volumen: | 473p. : |
| Ilustraciones, gráficos, tablas, etc.: | il. : |
| Dimensión (en centímetros): | 24 cm. |
| 500 ## - NOTA GENERAL | |
| Nota general | Indice. |
| 504 ## - NOTA DE BIBLIOGRAFÍA, ETC. | |
| Nota de Bibliografía, etc. | Bibliografia 463p. |
| 505 ## - NOTA DE CONTENIDO | |
| Nota de contenido | 1. Corrección<br/>2. Semántica axiomática y verificación.<br/>3. Procedimiento<br/>4. Desarrollo de programas.<br/>5. Paradigmas<br/>6. Especificación |
| 650 #0 - ENTRADA AGREGADA TEMA - TÉRMINO TÓPICO | |
| Término tópico o elemento de entrada por materia | TECNOLOGÍAS DE INFORMACIÓN Y COMUNICACIÓN |
| 9 (RLIN) | 25019 |
| 650 #0 - ENTRADA AGREGADA TEMA - TÉRMINO TÓPICO | |
| 9 (RLIN) | 26003 |
| Término tópico o elemento de entrada por materia | PROGRAMAS PARA COMPUTADORAS |
| 650 #0 - ENTRADA AGREGADA TEMA - TÉRMINO TÓPICO | |
| 9 (RLIN) | 26004 |
| Término tópico o elemento de entrada por materia | LENGUAJE DE PROGRAMACION (COMPUTADORES ELECTRONICOS) -- SEMANTICA |
| 650 #0 - ENTRADA AGREGADA TEMA - TÉRMINO TÓPICO | |
| 9 (RLIN) | 26002 |
| Término tópico o elemento de entrada por materia | INGENIERIA DE SOFTWARE |
| 942 ## - ELEMENTOS DE ENTRADA AGREGADOS (KOHA) | |
| Fuente del esquema de clasificación o estantería | |
| Tipo de Recurso | Libros |
| Notación interna | C26 |
| Parte de clasificación | 005.3 |
| Withdrawn status | Lost status | Tipo de Clasificacion | Estado dañado | Tipo de prestamo | Ubicación Actual | Biblioteca de origen | Fecha de adquisición | Salidas totales | Asignatura topográfica | Barcode | Date last seen | Precio efectivo desde | Tipo de artículo Koha |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Biblioteca Especializada de la Facultad de Ciencias | Biblioteca Especializada de la Facultad de Ciencias | 09/07/2019 | /C26 | FC129 | 17/07/2019 | 17/07/2019 | Libros |