Z an introduction to formal methods / (Registro nro. 246064)
[ vista simple ]
| 000 -LÍDER | |
|---|---|
| fixed length control field | 00711nam a22002297a 4500 |
| 003 - IDENTIFICADOR DEL NÚMERO DE CONTROL | |
| control field | MX-MeUAM |
| 005 - FECHA Y HORA DE LA ULTIMA TRANSACCIÓN | |
| control field | 20210601124908.0 |
| 008 - ELEMENTOS DE LONGITUD FIJA -- INFORMACIÓN GENERAL | |
| fixed length control field | 210601s1994 a|||gr|||| 00| 0 eng d |
| 020 ## - NÚMERO INTERNACIONAL NORMALIZADO PARA LIBROS | |
| ISBN | 0471939730 |
| 040 ## - FUENTE DE LA CATALOGACION | |
| Agencia que realiza la modificación | MX-MeUAM |
| 050 #4 - SIGNATURA TOPOGRÁFICA DE LA BIBLIOTECA DEL CONGRESO | |
| Número clasificador | QA76.73.Z2 |
| Número del ítem | D55 1994 |
| 100 1# - ASIENTO PRINCIPAL--NOMBRE PERSONAL | |
| 9 (RLIN) | 23312 |
| Nombre personal | Diller, Antoni. |
| 245 1# - MENCIÓN DE TITULO | |
| Título | Z an introduction to formal methods / |
| Mención de responsabilidad, etc. | Antoni Diller |
| 250 ## - MENCIÓN DE EDICIÓN | |
| Mención de edición | 2nd ed. |
| 260 ## - PUBLICACIÓN, DISTRIBUCIÓN, ETC. (PIE DE IMPRENTA) | |
| Lugar de publicación, distribución, etc. | New York : |
| Nombre del editor, distribuidor, etc. | John Wiley, |
| Fecha de publicación, distribución, etc. | 1994 |
| 300 ## - DESCRIPCIÓN FÍSICA | |
| Extensión | xix, 374 p. : |
| Otros detalles físicos | il. ; |
| Dimensiones | 25 cm. |
| 504 ## - NOTA DE BIBLIOGRAFÍA, ETC. | |
| Nota de bibliografía, etc. | Incluye referencias bibliográficas |
| 650 #7 - ASIENTO SECUNDARIO DE MATERIA - TERMINO TEMÁTICO | |
| Término temático o nombre geográfico como elemento de entrada | Z (Lenguaje de programacion para computadoras) |
| 650 #7 - ASIENTO SECUNDARIO DE MATERIA - TERMINO TEMÁTICO | |
| Término temático o nombre geográfico como elemento de entrada | Métodos formales (Computación) |
| 651 ## - ASIENTO SECUNDARIO DE MATERIA - NOMBRE GEOGRÁFICO | |
| Nombre geográfico | Métodos formales (Computación) |
| 942 ## - TIPO DE MATERIAL (KOHA) | |
| Koha item type | Libro |
| Estado de retiro | Fuente de clasificación | Colección | Ubicación permanente | Ubicación actual | Fecha de ingreso | Precio | Signatura topográfica | Código de barras | Date last seen | Número de copia | Tipo de material | Categoría 1 de ítem | Categoría 2 de ítem |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Acervo General | Biblioteca Central Ensenada | Biblioteca Central Ensenada | 01/06/2021 | 2923.86 | QA76.73.Z2 D55 1994 | ENS092581 | 01/06/2021 | 1 | Libro | Monografía | Material adquirido por Compra |
