ProofNIX / Rodolfo Arteaga Held.
Tipo de material:
Archivo de ordenadorDetalles de publicación: Bogotá: Escuela Colombiana de Ingeniería 2009Descripción: 1 disco compacto 4 3; 4 plgTema(s): Clasificación CDD: - 003 L663p Ts DC
| Imagen de cubierta | Tipo de ítem | Biblioteca actual | Biblioteca de origen | Colección | Ubicación en estantería | Signatura topográfica | Materiales especificados | Info Vol | URL | Copia número | Estado | Notas | Fecha de vencimiento | Código de barras | Reserva de ítems | Prioridad de la cola de reserva de ejemplar | Reservas para cursos | |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
TRABAJOS DE GRADO
|
Biblioteca Jorge Álvarez Lleras | Colección / Fondo / Acervo / Resguardo | 003 L663p Ts DC (Navegar estantería(Abre debajo)) | Ej. 1 | 1 | Disponible | 020131DC |
Tesis (Ingeniero de Sistemas)--Universidad Escuela Colombiana de Ingeniería, 2010.
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.
