Semantics engineering with PLT Redex / (Registro nro. 18096)

Detalles MARC
000 -CABECERA
Campo de control de longitud fija	01278cam a2200313 a 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	20190806164111.0
008 - CAMPO FIJO DE DESCRIPCIÓN FIJA--INFORMACIÓN GENERAL
Campo de control de longitud fija	090105s2009 maua b 001 0 eng
020 ## - ISBN (INTERNATIONAL STANDARD BOOK NUMBER)
ISBN	9780262062756
040 ## - FUENTE DE CATALOGACIÓN
Agencia de catalogación original	DLC
Agencia que realiza la transcripción	DLC
Agencia que realiza la modificación	BTCTA
--	YDXCP
--	C#P
--	UKM
--	CDX
--	BWX
--	DLC
--	AR_CdUFM
100 1# - ENCABEZAMIENTO PRINCIPAL--NOMBRE PERSONAL
9 (RLIN)	21501
Nombre de persona	Felleisen, Matthias
245 10 - MENCIÓN DE TÍTULO
Título	Semantics engineering with PLT Redex /
Mención de responsabilidad, etc.	Matthias Felleisen, Robert Bruce Findler, Matthew Flatt.
260 ## - PUBLICACIÓN, DISTRIBUCIÓN, ETC (PIE DE IMPRENTA)
Lugar de publicación, distribución, etc.	Cambridge, Mass. :
Nombre del editor, distribuidor, etc.	MIT Press,
Fecha de publicación, distribución, etc.	c2009.
300 ## - DESCRIPCIÓN FÍSICA
Extensión	xii, 502 p. :
Otros detalles físicos	il. ;
Dimensiones	24 cm.
504 ## - NOTA DE BIBLIOGRAFÍA, ETC.
Bibliografía, etc.	Incluye referencias bibliográficas e indice.
541 ## - NOTA DE LA FUENTE INMEDIANTE DE ADQUISICIÓN
Fuente de adquisición	Ciencia y Técnica ; Compra Programa de Bibliotecas 2016 ; 2017-05-23 ; 22818 ; $1.300 ; Libro
650 #4 - 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 #4 - ASIENTO SECUNDARIO DE MATERIA--TÉRMINO DE MATERIA
Nombre de materia o nombre geográfico como elemento de entrada	Software engineering.
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
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	Ingenieria de software.
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.
700 1# - ENCABEZAMIENTO SECUNDARIO--NOMBRE PERSONAL
Nombre de persona	Findler, Robert Bruce
9 (RLIN)	21502
700 1# - ENCABEZAMIENTO SECUNDARIO--NOMBRE PERSONAL
9 (RLIN)	21503
Nombre de persona	Flatt, Matthew
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	2016-05-23

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)	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	23/05/2017	Compra Programa de Bibliotecas 2016	1650.00	4	1	C F3 F318	22821	24/01/2023	23/08/2018	23/05/2017	Libro