Type-driven development with Idris / (Registro nro. 18443)
[ vista simple ]
| 000 -CABECERA | |
|---|---|
| Campo de control de longitud fija | 00989cam a22002897i 4500 |
| 003 - IDENTIFICADOR DE NÚMERO DE CONTROL | |
| Campo de control | AR_CdUFM |
| 005 - FECHA Y HORA DE LA ÚLTIMA TRANSACCIÓN | |
| Campo de control | 20190805130511.0 |
| 008 - CAMPO FIJO DE DESCRIPCIÓN FIJA--INFORMACIÓN GENERAL | |
| Campo de control de longitud fija | 170624t20172017nyua 001 0 eng d |
| 020 ## - ISBN (INTERNATIONAL STANDARD BOOK NUMBER) | |
| ISBN | 9781617293023 |
| 040 ## - FUENTE DE CATALOGACIÓN | |
| Agencia de catalogación original | BTCTA |
| Idioma de catalogación | eng |
| Agencia que realiza la transcripción | BTCTA |
| Convenciones de la descripción | rda |
| Agencia que realiza la modificación | BDX |
| -- | YDXCP |
| -- | UUM |
| -- | JRZ |
| -- | WRF |
| -- | DLC |
| -- | AR_CdUFM |
| 100 1# - ENCABEZAMIENTO PRINCIPAL--NOMBRE PERSONAL | |
| Nombre de persona | Brady, Edwin |
| 9 (RLIN) | 22448 |
| 245 10 - MENCIÓN DE TÍTULO | |
| Título | Type-driven development with Idris / |
| Mención de responsabilidad, etc. | Edwin Brady. |
| 260 ## - PUBLICACIÓN, DISTRIBUCIÓN, ETC (PIE DE IMPRENTA) | |
| Lugar de publicación, distribución, etc. | New York : |
| Nombre del editor, distribuidor, etc. | Manning Publications, |
| Fecha de publicación, distribución, etc. | 2017. |
| 300 ## - DESCRIPCIÓN FÍSICA | |
| Extensión | xxiv, 453 p. : |
| Otros detalles físicos | il. ; |
| Dimensiones | 24 cm |
| 500 ## - NOTA GENERAL | |
| Nota general | Incluye índice. |
| 541 ## - NOTA DE LA FUENTE INMEDIANTE DE ADQUISICIÓN | |
| Fuente de adquisición | Compra Programa de Bibliotecas 2017 ; |
| 650 ## - ASIENTO SECUNDARIO DE MATERIA--TÉRMINO DE MATERIA | |
| Nombre de materia o nombre geográfico como elemento de entrada | Logics and meanings of programs. |
| 650 ## - ASIENTO SECUNDARIO DE MATERIA--TÉRMINO DE MATERIA | |
| Nombre de materia o nombre geográfico como elemento de entrada | Mathematical logic. |
| 650 ## - ASIENTO SECUNDARIO DE MATERIA--TÉRMINO DE MATERIA | |
| Nombre de materia o nombre geográfico como elemento de entrada | Formal languages. |
| 650 ## - ASIENTO SECUNDARIO DE MATERIA--TÉRMINO DE MATERIA | |
| Nombre de materia o nombre geográfico como elemento de entrada | Programming techniques. |
| 650 #4 - ASIENTO SECUNDARIO DE MATERIA--TÉRMINO DE MATERIA | |
| Nombre de materia o nombre geográfico como elemento de entrada | Lógica y significado de programas. |
| 650 #4 - ASIENTO SECUNDARIO DE MATERIA--TÉRMINO DE MATERIA | |
| Nombre de materia o nombre geográfico como elemento de entrada | Lógica matemática. |
| 650 #4 - ASIENTO SECUNDARIO DE MATERIA--TÉRMINO DE MATERIA | |
| Nombre de materia o nombre geográfico como elemento de entrada | Lenguajes formales. |
| 650 #4 - ASIENTO SECUNDARIO DE MATERIA--TÉRMINO DE MATERIA | |
| Nombre de materia o nombre geográfico como elemento de entrada | Técnicas de programación. |
| 942 ## - ELEMENTOS KOHA | |
| Fuente de clasificación o esquema de ordenación en estanterías | Computing Classification Systems |
| Koha tipo de item | Libro |
| 945 ## - LOCAL PROCESSING INFORMATION (OCLC) | |
| Codigo del Catalogador | MCR |
| Fecha | 2018-04-13 |
| Suprimido | Perdido | Fuente de clasificación | Estropeado | No se presta | Biblioteca | Sede/localización actual | Localización en estanterias | Fecha de adquisición | Fuente de adquisición | Precio normal de compra | Koha préstamos (veces que ha sido prestado) | Renovaciones | Signatura topográfica | Inventario | Koha Fecha de último uso | Koha Fecha de último préstamo | Fecha del precio de reemplazo | Tipo de item |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Computing Classification Systems | FaMAF | FaMAF | Sección Computación | 13/04/2018 | Compra Programa de Bibliotecas 2017 | 1450.00 | 4 | 1 | C F3 B812 | 23195 | 24/01/2023 | 26/08/2021 | 13/04/2018 | Libro |