ProofNIX/ (Registro nro. 16157)
[ vista simple ]
| 000 -CABECERA | |
|---|---|
| Campo de control de longitud fija | 01514amm a2200253 a 4500 |
| 001 - NÚMERO DE CONTROL | |
| Campo de control | 13726 |
| 003 - IDENTIFICADOR DE NÚMERO DE CONTROL | |
| Campo de control | CoBo-ECI |
| 005 - FECHA Y HORA DE LA ÚLTIMA TRANSACCIÓN | |
| Campo de control | 20230306113508.0 |
| 008 - CAMPO FIJO DE DESCRIPCIÓN FIJA--INFORMACIÓN GENERAL | |
| Campo de control de longitud fija | 150709b ck ||||| |||| 00| 0 spa d |
| 082 0# - NÚMERO DE LA CLASIFICACIÓN DECIMAL DEWEY | |
| Número de clasificación Decimal | 003 |
| Número de documento (Cutter) | L663p Ts DC |
| 100 40 - ENCABEZAMIENTO PRINCIPAL--NOMBRE PERSONAL | |
| Nombre de persona | Arteaga Held, Rodolfo |
| 9 (RLIN) | 11256 |
| 245 0# - TÍTULO PROPIAMENTE DICHO | |
| Título | ProofNIX/ |
| Mención de responsabilidad, etc. | Rodolfo Arteaga Held |
| 260 4# - PUBLICACIÓN, DISTRIBUCIÓN, ETC (PIE DE IMPRENTA) | |
| Lugar de publicación, distribución, etc. | Bogotá: |
| Nombre del editor, distribuidor, etc. | Escuela Colombiana de Ingeniería |
| Fecha de publicación, distribución, etc. | 2009 |
| 300 4# - DESCRIPCIÓN FÍSICA | |
| Extensión | 1 disco compacto 4 3; 4 plg. |
| 504 4# - NOTA DE BIBLIOGRAFÍA, ETC. | |
| Bibliografía, etc. | Incluye bibliografía |
| 520 4# - RESUMEN, ETC. | |
| Nota de sumario, etc. | ProofNix es un asistente de demostraciones matemáticas basadas en la lógica de Dijkstra. Su uso es principalmente académico y pretende ser una herramienta de ayuda para estudiantes y profesores que deseen realizar demostraciones matemática de una forma ordenada en un sistema amigable con el usuario.ProofNix también podrá ser una herramienta de uso industrial, proporcionando ayuda a desarrolladores de aplicaciones que requieren código correcto certificado |
| -- | es decir sin errores. Dentro de esta última categorÍa caen las aplicaciones militares, programas espaciales para la NASA, aplicaciones relacionadas con el uso de energÍa nuclear, entre otras |
| 650 ## - ASIENTO SECUNDARIO DE MATERIA--TÉRMINO DE MATERIA | |
| Nombre de materia o nombre geográfico como elemento de entrada | REINGENIERIA DE SOFTWARE |
| 9 (RLIN) | 11257 |
| 650 ## - ASIENTO SECUNDARIO DE MATERIA--TÉRMINO DE MATERIA | |
| 9 (RLIN) | 1283 |
| Nombre de materia o nombre geográfico como elemento de entrada | ESCUELA COLOMBIANA DE INGENIERÍA |
| Subdivisión geográfica | TESIS |
| Subdivisión de forma | TESIS |
| 650 ## - ASIENTO SECUNDARIO DE MATERIA--TÉRMINO DE MATERIA | |
| 9 (RLIN) | 10867 |
| Nombre de materia o nombre geográfico como elemento de entrada | LINUX (SISTEMA OPERACIONAL PARA COMPUTADOR) |
| Subdivisión general | SISTEMA OPERACIONAL PARA COMPUTADOR |
| 650 ## - ASIENTO SECUNDARIO DE MATERIA--TÉRMINO DE MATERIA | |
| 9 (RLIN) | 931 |
| Nombre de materia o nombre geográfico como elemento de entrada | TESIS Y DISERTACIONES ACADÉMICAS |
| 700 ## - ENCABEZAMIENTO SECUNDARIO--NOMBRE PERSONAL | |
| Nombre de persona | López Beltrán, Rodrigo, |
| Término relacionador | dir. |
| 9 (RLIN) | 30355 |
| 942 ## - ELEMENTOS KOHA | |
| Fuente de clasificación o esquema de ordenación en estanterías | |
| Koha tipo de item | LIBRO - MATERIAL GENERAL |
| Disponibilidad | Mostrar en OPAC | Fuente de clasificación o esquema | Tipo de Descarte | Estado | Formato de Material | Localización permanente | Localización actual | Fecha adquisición | Forma de Adq | Datos del ítem (Volumen, Tomo) | Préstamos totales | Signatura completa | Código de barras | Fecha última consulta | Número de ejemplar | Precio en Dólares | Propiedades de Préstamo KOHA | Fecha de Descarte | Programa Académico |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Préstamo Normal | Colección / Fondo / Acervo / Resguardo | Biblioteca Jorge Álvarez Lleras | Biblioteca Jorge Álvarez Lleras | 2010-03-08 | Compra | Ej. 1 | 003 L663p Ts DC | 020131DC | 2015-05-26 | 1 | 10000.00 | TRABAJOS DE GRADO | 2014-10-14 | Ingenieria Sistemas |
AK. 45 No. 205 - 59, Autopista Norte.
PBX: +60(1) 668 3600 - Bogotá.