ProofNIX/ Rodolfo Arteaga Held

Por: Arteaga Held, RodolfoColaborador(es): López Beltrán, Rodrigo [dir.]Tipo de material: Archivo de ordenadorArchivo 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 otras
Etiquetas de esta biblioteca: No hay etiquetas de esta biblioteca para este título. Ingresar para agregar etiquetas.
    Valoración media: 0.0 (0 votos)
Tipo 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 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.

para colocar un comentario.