Introduction to process algebra / (Registro nro. 15901)
[ vista simple ]
000 -CABECERA | |
---|---|
campo de control de longitud fija | 01103nam a22003137a 4500 |
003 - IDENTIFICADOR DEL NÚMERO DE CONTROL | |
campo de control | AR_CdUFM |
005 - FECHA Y HORA DE LA ÚLTIMA TRANSACCIÓN | |
campo de control | 20160908124526.0 |
008 - DATOS DE LONGITUD FIJA--INFORMACIÓN GENERAL | |
campo de control de longitud fija | 110420s2010 gw||||| |||| 00| 0 eng d |
020 ## - NÚMERO INTERNACIONAL ESTÁNDAR DEL LIBRO | |
Número Internacional Estándar del Libro | 9783642085840 |
040 ## - FUENTE DE LA CATALOGACIÓN | |
Centro catalogador/agencia de origen | AR_CdUFM |
Centro/agencia transcriptor | AR_CdUFM |
100 1# - ENTRADA PRINCIPAL--NOMBRE DE PERSONA | |
9 (RLIN) | 5369 |
Nombre de persona | Fokkink, Wan, |
Fechas asociadas al nombre | 1965- |
245 10 - MENCIÓN DE TÍTULO | |
Título | Introduction to process algebra / |
Mención de responsabilidad, etc. | Wan Fokkink. |
260 ## - PUBLICACIÓN, DISTRIBUCIÓN, ETC. | |
Lugar de publicación, distribución, etc. | Berlin : |
Nombre del editor, distribuidor, etc. | Springer, |
Fecha de publicación, distribución, etc. | 2010. |
300 ## - DESCRIPCIÓN FÍSICA | |
Extensión | viii, 163 p. : |
Otras características físicas | il. ; |
Dimensiones | 24 cm. |
490 0# - MENCIÓN DE SERIE | |
Mención de serie | Texts in theoretical computer science |
490 0# - MENCIÓN DE SERIE | |
Mención de serie | EATCS series |
500 ## - NOTA GENERAL | |
Nota general | With 11 figures and 11 tables. |
504 ## - NOTA DE BIBLIOGRAFÍA, ETC. | |
Nota de bibliografía, etc. | Incluye referencias bibliogáficas e índice. |
650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA | |
Término de materia o nombre geográfico como elemento de entrada | Programación concurrente. |
650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA | |
Término de materia o nombre geográfico como elemento de entrada | Verificación de programas. |
650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA | |
Término de materia o nombre geográfico como elemento de entrada | Lenguajes de programación. |
650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA | |
Término de materia o nombre geográfico como elemento de entrada | Concurrent programming. |
650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA | |
Término de materia o nombre geográfico como elemento de entrada | Program verification. |
650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA | |
Término de materia o nombre geográfico como elemento de entrada | Programming languages. |
650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA | |
Término de materia o nombre geográfico como elemento de entrada | Semantic of programming languages. |
942 ## - ELEMENTOS DE ENTRADA AGREGADA (KOHA) | |
Tipo de ítem Koha | Libro |
Fuente del sistema de clasificación o colocación | |
945 ## - PROCESAMIENTO DE INFORMACIÓN LOCAL (OCLC) | |
Codigo del Catalogador | MCR |
Fecha | 2011-04-20 |
Estado de retiro | Estado de pérdida | Fuente del sistema de clasificación o colocación | Estado dañado | No para préstamo | Biblioteca de origen | Biblioteca actual | Ubicación en estantería | Fecha de adquisición | Fuente de adquisición | Coste, precio normal de compra | Total de préstamos | Signatura topográfica completa | Código de barras | Fecha visto por última vez | Fecha del último préstamo | Precio válido a partir de | Tipo de ítem Koha |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Computing Classification Systems | FaMAF | FaMAF | Sección Computación | 20/04/2011 | Programa de Bibliotecas Res. 591/09: Importación de Publicaciones | 342.00 | 3 | C D1.3 F662 | 20889 | 24/01/2023 | 18/10/2017 | 20/04/2011 | Libro |