Interactive theorem proving and program development : (Registro nro. 17353)
[ vista simple ]
000 -CABECERA | |
---|---|
Campo de control de longitud fija | 01257nam a22003137a 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 | 20151216164240.0 |
008 - CAMPO FIJO DE DESCRIPCIÓN FIJA--INFORMACIÓN GENERAL | |
Campo de control de longitud fija | 040304s2010 gw a b 001 0 eng c |
020 ## - ISBN (INTERNATIONAL STANDARD BOOK NUMBER) | |
ISBN | 9783642058806 |
040 ## - FUENTE DE CATALOGACIÓN | |
Agencia de catalogación original | YUS |
Agencia que realiza la transcripción | YUS |
Agencia que realiza la modificación | OHX |
-- | AZS |
-- | UKM |
-- | OCLCQ |
-- | DLC |
-- | AR_CdUFM |
100 1# - ENCABEZAMIENTO PRINCIPAL--NOMBRE PERSONAL | |
Nombre de persona | Bertot, Yves, |
Fechas asociadas con el nombre | 1964- |
245 10 - MENCIÓN DE TÍTULO | |
Título | Interactive theorem proving and program development : |
Parte restante del título | Coq'Art : the calculus of inductive constructions / |
Mención de responsabilidad, etc. | Yves Bertot, Pierre Castéran ; foreword by Gérard Huet and Christine Paulin-Mohring. |
260 ## - PUBLICACIÓN, DISTRIBUCIÓN, ETC (PIE DE IMPRENTA) | |
Lugar de publicación, distribución, etc. | Berlin : |
Nombre del editor, distribuidor, etc. | Springer, |
Fecha de publicación, distribución, etc. | c2010. |
300 ## - DESCRIPCIÓN FÍSICA | |
Extensión | xxv, 469 p. : |
Otros detalles físicos | il. ; |
Dimensiones | 25 cm. |
490 0# - MENCIÓN DE SERIE | |
Mención de serie | Texts in theoretical computer science |
504 ## - NOTA DE BIBLIOGRAFÍA, ETC. | |
Bibliografía, etc. | Incluye referencias bibliográficas (p. [453]-457) e índice. |
541 ## - NOTA DE LA FUENTE INMEDIANTE DE ADQUISICIÓN | |
Fuente de adquisición | M & A - S.R.L. ; |
650 #4 - ASIENTO SECUNDARIO DE MATERIA--TÉRMINO DE MATERIA | |
Nombre de materia o nombre geográfico como elemento de entrada | Logic and meanings of programs. |
650 #4 - 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 | Mathematical logic. |
650 #4 - ASIENTO SECUNDARIO DE MATERIA--TÉRMINO DE MATERIA | |
Nombre de materia o nombre geográfico como elemento de entrada | Formal languages. |
653 ## - TÉRMINO DE INDEXACIÓN--NO CONTROLADO | |
Término de indización no controlado | Lógica y significado de programas. |
653 ## - TÉRMINO DE INDEXACIÓN--NO CONTROLADO | |
Término de indización no controlado | Técnicas de programación. |
653 ## - TÉRMINO DE INDEXACIÓN--NO CONTROLADO | |
Término de indización no controlado | Lógica matemática. |
653 ## - TÉRMINO DE INDEXACIÓN--NO CONTROLADO | |
Término de indización no controlado | Lenguajes formales. |
700 1# - ENCABEZAMIENTO SECUNDARIO--NOMBRE PERSONAL | |
Nombre de persona | Castéran, Pierre |
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 | 2015-12-16 |
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) | 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 | 16/12/2015 | Compra Programa de Bibliotecas 2015 | 2251.00 | 2 | C F3 B547 | 22380 | 22/03/2024 | 10/04/2019 | 16/12/2015 | Libro |