Verificación formal de algoritmos aritméticos de precisión arbitraria en Java / Gonzalo P. Buteler ; director Daniel Fridlender.
Detalles de publicación: [S.l. : s.n. ], 2008.Descripción: 111 h. : il. ; 30 cmTema(s): Nota de disertación: Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física, 2008.Tipo de ítem | Biblioteca actual | Signatura topográfica | Copia número | Estado | Fecha de vencimiento | Código de barras | Reserva de ítems | |
---|---|---|---|---|---|---|---|---|
Trabajo Especial de Grado | FaMAF Secc. Tesis y Trabajos especiales | Trabajo Especial Computación CAJA 9 - 19323 | 1 | Disponible | 19323 | |||
Trabajo Especial de Grado | FaMAF Depósito Interno | TE C BUT ej.2 | 2 | Disponible | 19324 |
Total de reservas: 0
Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física, 2008.
Bibliografía : h. 106-111.