Universidad Nacional Autónoma de México
Instituto de Investigaciones en Materiales
Catálogo de la Biblioteca

Formal methods for real-time computing (Registro nro. 8028)

Detalles MARC
000 -LIDER
campo de control de longitud fija 00874nam a2200277 a 4500
008 - ELEMENTOS DE LONGITUD FIJA—INFORMACION GENERAL
campo de control de longitud fija 970417s1996^^^^nyu^^^^^^b^^^^001^0^eng^^
020 ## - NUMERO INTERNACIONAL NORMALIZADO PARA LIBROS
Número Internacional Normalizado del libro 0471958352 (papel alcalino)
035 ## - NUMERO DE CONTROL DEL SISTEMA
Número de control del sistema MX001000737021
040 ## - FUENTE DE CATALOGACION
Agencia de catalogación original DLC
Agencia que realiza la transcripción DLC
041 ## - CODIGO DE IDIOMA
Código de idioma para texto/pista de sonido o título separado ENG
050 #0 - CLASIFICACION TOPOGRAFICA DE LA BIBLIOTECA DEL CONGRESO (LC)
Número clasificador QA76.54
Número del ítem F667
082 00 - NUMERO DE CLASIFICACION DECIMAL DEWEY
Número de clasificación 005.2
Número de la edición 20
084 ## - OTRO NUMERO DE CLASIFICACION
Número clasificador General
245 00 - MENCION DEL TITULO
Título Formal methods for real-time computing /
Mención de responsabilidad, etc. ed. by Constance Heitmeyer and Dino Mandrioli
263 ## - FECHA PROYECTADA DE PUBLICACION
Fecha proyectada de publicación 9603
264 #1 - DECLARACION DE AVISO DE PRODUCCION, PUBLICACIÓN, DISTRIBUCIÓN, FABRICACION Y DERECHOS DE AUTOR PARA
Lugar de producción, publicación, distribución, fabricación New York :
Nombre del productor, editor, distribuidor, fabricante J. Wiley,
Fecha de producción, publicación, distribución, fabricación o aviso de derechos 1996
300 ## - DESCRIPCION FISICA
Extensión 271 páginas
336 ## - TIPO DE CONTENIDO
Término del tipo de contenido texto
Fuente rdacontent
337 ## - TIPO DE MEDIO
Término de tipo de medio sin medio
Fuente rdamedia
338 ## - TIPO DE PORTADOR
Término de tipo de transporte volumen
Fuente rdacarrier
490 0# - MENCION DE SERIE
Mención de serie Trends in software ;
Volume/sequential designation 5
504 ## - NOTA DE BIBLIOGRAFIA, ETC.
Nota de bibliografía, etc. Incluye referencias bibliograficas e indices.
650 #0 - ASIENTO SECUNDARIO DE MATERIA - TERMINO TEMATICO
Término temático o nombre geográfico como elemento de entrada Procesamiento de datos en tiempo real
700 1# - ASIENTO SECUNDARIO - NOMBRE PERSONAL
Nombre personal Heitmeyer, Constance L.,
Término de relación editor
700 1# - ASIENTO SECUNDARIO - NOMBRE PERSONAL
Nombre personal Mandrioli, Dino,
Término de relación editor
Existencias
Estado retirado Estado perdido Fuente de clasificación o esquema de estantería Estado dañado No para préstamo Colección Biblioteca Biblioteca actual Ubicación de estantería Costo, precio de compra normal Total de préstamos Numero de clasificación completa Código de barras Fecha de la última vez que se vio Número de copia Tipo de ítem Koha
    Clasificación de la Biblioteca del Congreso     General Libros Libros Libros 1387.03   QA76.54/F667 14372 28/01/2024 1 Libros

Universidad Nacional Autónoma de México 

Biblioteca del Instituto de Investigaciones en Materiales

©2023 Dirección General de Bibliotecas y Servicios Digitales de Información, UNAM

Aviso de Privacidad