Program verification (Record no. 844891)
[ view plain ]
| 000 -LEADER | |
|---|---|
| campo de control de longitud fija | 00782nam a2200217 a 4500 |
| 003 - IDENTIFICADOR DE NÚMERO DE CONTROL | |
| campo de control | AR-LpUFIB |
| 005 - FECHA Y HORA DE LA ÚLTIMA TRANSACCIÓN | |
| campo de control | 20240131170629.0 |
| 007 - CAMPO FIJO DE DESCRIPCIÓN FÍSICA--INFORMACIÓN GENERAL | |
| campo de control de longitud fija | ta |
| 008 - DATOS DE LONGITUD FIJA--INFORMACIÓN GENERAL | |
| campo de control de longitud fija | 230201s1992 xxka dr 000 0 eng d |
| 020 ## - NÚMERO INTERNACIONAL ESTÁNDAR DEL LIBRO | |
| Número Internacional Estándar del Libro | 0201416085 |
| 024 8# - IDENTIFICADOR DE OTROS ESTÁNDARES | |
| Número estándar o código | DIF002775 |
| 040 ## - FUENTE DE CATALOGACIÓN | |
| Centro catalogador/agencia de origen | AR-LpUFIB |
| Lengua de catalogación | spa |
| Centro/agencia transcriptor | AR-LpUFIB |
| 100 1# - ENTRADA PRINCIPAL--NOMBRE DE PERSONA | |
| Nombre de persona | Francez, Nissim |
| 9 (RLIN) | 254235 |
| 245 10 - MENCIÓN DEL TÍTULO | |
| Título | Program verification |
| 260 ## - PUBLICACIÓN, DISTRIBUCIÓN, ETC. | |
| Lugar de publicación, distribución, etc. | Cambridge : |
| Nombre del editor, distribuidor, etc. | , |
| Fecha de publicación, distribución, etc. | 1992 |
| 300 ## - DESCRIPCIÓN FÍSICA | |
| Extensión | xi, 312 p. : il. ; |
| Dimensiones | 24 cm. |
| 505 0# - NOTA DE CONTENIDO CON FORMATO | |
| Nota de contenido con formato | On specifications -- Verifying deterministic programs -- The compositional approach -- Verifying nondeterministic programs -- Verifying programs with procedures -- Verifying concurrent programs -- Verifying distributed programs. |
| 650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA | |
| Término de materia o nombre geográfico como elemento de entrada | PROGRAMACIÓN |
| 9 (RLIN) | 29694 |
| 650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA | |
| Término de materia o nombre geográfico como elemento de entrada | VERIFICACIÓN DE PROGRAMAS |
| 9 (RLIN) | 247900 |
| 942 ## - ELEMENTOS DE ENTRADA SECUNDARIOS (KOHA) | |
| Tipo de ítem Koha | Libros |
| Estado retirado | Estado de pérdida | Estado de daño | No para préstamo | Biblioteca de origen | Biblioteca actual | Fecha de adquisición | Número de inventario | Total de préstamos | Signatura topográfica completa | Código de barras | Visto por última vez | Precio de reemplazo | Tipo de ítem Koha |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Disponible para préstamo | Biblioteca Fac.Informática | Biblioteca Fac.Informática | 22/02/2010 | DIF-03422 | D.2.4 FRA | DIF-03422 | 31/01/2024 | 31/01/2024 | Libros |