ProofNIX/ Rodolfo Arteaga Held
Tipo de material: Archivo de ordenadorEditor: Bogotá: Escuela Colombiana de Ingeniería 2009Descripción: 1 disco compacto 4 3; 4 plgTema(s): REINGENIERIA DE SOFTWARE | ESCUELA COLOMBIANA DE INGENIERÍA -- TESIS -- TESIS | LINUX (SISTEMA OPERACIONAL PARA COMPUTADOR) -- SISTEMA OPERACIONAL PARA COMPUTADOR | TESIS Y DISERTACIONES ACADÉMICASClasificación CDD: 003 Recomendación de contenido: 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 otrasTipo de ítem | Ubicación actual | Colección | Signatura | Info Vol | Copia número | Estado | Fecha de vencimiento | Código de barras | Reserva de ítems |
---|---|---|---|---|---|---|---|---|---|
TRABAJOS DE GRADO | Biblioteca Jorge Álvarez Lleras | Colección / Fondo / Acervo / Resguardo | 003 L663p Ts DC (Navegar estantería) | Ej. 1 | 1 | Disponible | 020131DC |
Total de reservas: 0
Incluye bibliografía
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
No hay comentarios en este titulo.