Advanced formal verification / (Registro nro. 31859)
[ vista simple ]
| 000 -CABECERA | |
|---|---|
| campo de control de longitud fija | 00730nam a2200229zi 4500 |
| 005 - FECHA Y HORA DE LA ÚLTIMA TRANSACCIÓN | |
| campo de control | 20220228105153.0 |
| 008 - DATOS DE LONGITUD FIJA--INFORMACIÓN GENERAL | |
| campo de control de longitud fija | 070326c2004 xxua 000 0 eng |
| 020 ## - NÚMERO INTERNACIONAL ESTÁNDAR DEL LIBRO | |
| Número Internacional Estándar del Libro | 1402077211 (papel alcalino) |
| 035 ## - NÚMERO DE CONTROL DEL SISTEMA | |
| Número de control de sistema | MX001001015039 |
| 040 ## - FUENTE DE LA CATALOGACIÓN | |
| Centro catalogador/agencia de origen | DLC |
| Lengua de catalogación | spa |
| Centro/agencia transcriptor | DLC |
| Centro/agencia modificador | UNAMX |
| 050 00 - CLASIFICACIÓN DE LA BIBLIOTECA DEL CONGRESO | |
| Número de clasificación | TK7867 |
| Número de documento/Ítem | A38 |
| 245 00 - MENCIÓN DE TÍTULO | |
| Título | Advanced formal verification / |
| Mención de responsabilidad, etc. | edited by Rolf Drechsler |
| 264 #1 - PRODUCCIÓN, PUBLICACIÓN, DISTRIBUCIÓN, FABRICACIÓN Y COPYRIGHT | |
| Producción, publicación, distribución, fabricación y copyright | Boston : |
| Nombre del de productor, editor, distribuidor, fabricante | Kluwer Academic, |
| Fecha de producción, publicación, distribución, fabricación o copyright | c2004 |
| 300 ## - DESCRIPCIÓN FÍSICA | |
| Extensión | xxv, 249 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 electrónicos |
| Subdivisión general | Pruebas |
| 650 #0 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA | |
| Término de materia o nombre geográfico como elemento de entrada | Árboles de decisión |
| 700 1# - PUNTO DE ACCESO ADICIONAL--NOMBRE DE PERSONA | |
| Nombre de persona | Drechsler, Rolf, |
| Término indicativo de función/relación | editor |
| 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 | Coleccion General | Libros | Libros | Libros | TK7867 A38 | 114082 | 14/03/2018 | 1 | Libros | |||||
| Clasificación de la Biblioteca del Congreso | Coleccion General | Libros | Libros | Libros | TK7867 A38 | 114846 | 14/03/2018 | 1 | Libros |