CATÁLOGO DE LA BIBLIOTECA DE LA FaMAF
Normal view MARC view ISBD view

Verificación formal de algoritmos aritméticos de precisión arbitraria en Java / Gonzalo P. Buteler ; director Daniel Fridlender.

By: Buteler, Gonzalo Patricio, 1982-.
Contributor(s): Fridlender, Daniel Edgardo, 1964- [dir. ].
Material type: materialTypeLabelBookPublisher: [S.l. : s.n. ], 2008Description: 111 h. : il. ; 30 cm.Subject(s): Program verification | Software | Verificación de programas | JavaDissertation note: Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física, 2008.
Tags from this library: No tags from this library for this title.
Item type Current location Call number Copy number Status Date due Barcode Item holds
Trabajo Especial de Grado Trabajo Especial de Grado FaMAF
Secc. Tesis y Trabajos especiales
TE C BUT 1 Available 19323
Trabajo Especial de Grado Trabajo Especial de Grado FaMAF
Deposito Interno
TE C BUT ej.2 2 Available 19324
Total holds: 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.

La biblioteca posee 2 ej.

Horario de la Biblioteca: lunes a viernes de 8:30 a 18:00hs

Av. Medina Allende s/n , Ciudad Universitaria, Córdoba, Argentina

Tel: +54 351 5353701 int. 41127(Atención al Público) int. 41151(Dirección)

biblio@famaf.unc.edu.ar

publicofamaf@gmail.com



//