A roadmap for formal property verification / (Registro nro. 5505)
[ vista simple ]
| 000 -CABECERA | |
|---|---|
| campo de control de longitud fija | 00751nam a2200229zi 4500 |
| 005 - FECHA Y HORA DE LA ÚLTIMA TRANSACCIÓN | |
| campo de control | 20220303112518.0 |
| 008 - DATOS DE LONGITUD FIJA--INFORMACIÓN GENERAL | |
| campo de control de longitud fija | 070507s2006 ne a 001 0 eng |
| 020 ## - NÚMERO INTERNACIONAL ESTÁNDAR DEL LIBRO | |
| Número Internacional Estándar del Libro | 1402047576 (empastado, cubierta dura) |
| 035 ## - NÚMERO DE CONTROL DEL SISTEMA | |
| Número de control de sistema | MX001001100076 |
| 040 ## - FUENTE DE LA CATALOGACIÓN | |
| Centro catalogador/agencia de origen | COO |
| Lengua de catalogación | spa |
| Centro/agencia transcriptor | COO |
| Centro/agencia modificador | DLC |
| -- | UNAMX |
| 050 #0 - CLASIFICACIÓN DE LA BIBLIOTECA DEL CONGRESO | |
| Número de clasificación | TK7874.58 |
| Número de documento/Ítem | D37 |
| 082 00 - NÚMERO DE LA CLASIFICACIÓN DECIMAL DEWEY | |
| Número de clasificación | 621.3815 |
| Número de edición | 22 |
| 100 1# - ENTRADA PRINCIPAL--NOMBRE DE PERSONA | |
| Nombre de persona | Dasgupta, Pallab, |
| Término indicativo de función/relación | autor |
| 245 12 - MENCIÓN DE TÍTULO | |
| Título | A roadmap for formal property verification / |
| Mención de responsabilidad, etc. | by Pallab Dasgupta |
| 264 #1 - PRODUCCIÓN, PUBLICACIÓN, DISTRIBUCIÓN, FABRICACIÓN Y COPYRIGHT | |
| Producción, publicación, distribución, fabricación y copyright | Dordrecht : |
| Nombre del de productor, editor, distribuidor, fabricante | Springer Verlag, |
| Fecha de producción, publicación, distribución, fabricación o copyright | c2006 |
| 300 ## - DESCRIPCIÓN FÍSICA | |
| Extensión | xiii, 251 páginas : |
| Otras características físicas | ilustraciones |
| 336 ## - TIPO DE CONTENIDO | |
| Término de tipo de contenido | texto |
| Fuente | rdacontent |
| 337 ## - TIPO DE MEDIO | |
| Nombre/término del tipo de medio | sin medio |
| Fuente | rdamedia |
| 338 ## - TIPO DE SOPORTE | |
| Nombre/término del tipo de soporte | volumen |
| Fuente | rdacarrier |
| 650 #0 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA | |
| Término de materia o nombre geográfico como elemento de entrada | Circuitos integrados |
| Subdivisión general | Verificación |
| Estado de retiro | Estado de pérdida | Fuente del sistema de clasificación o colocación | Estado dañado | No para préstamo | Código de colección | Localización permanente | Ubicación/localización actual | Ubicación en estantería | Total de préstamos | Clasificación | Código de barras | Fecha visto por última vez | Número de copia | Tipo de ítem Koha |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Clasificación de la Biblioteca del Congreso | General | Libros | Libros | Libros | TK7874.58 D37 | 9597 | 14/03/2018 | 1 | Libros |