Interactive theorem proving and program development : (Registro nro. 17353)

Detalles MARC
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
Existencias
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


Nuestras Redes Sociales

facebook Instagram

Horario de la Biblioteca: lunes a viernes de 8:30 a 18:30hs

Av. Medina Allende s/n , Ciudad Universitaria, Córdoba, Argentina

Tel: +54 351 5353701 int. 41127 (Atención al Público) int. 41151 (Dirección)

biblio@famaf.unc.edu.ar (Dirección)

publicofamaf@gmail.com (Atención al público)