Mostrando
1 - 1
Resultados de
1
Para Buscar '
Boldo, Sylvie
'
Saltar al contenido
Login
Menu
0
elementos
(Completo)
Servicios para Alumnos
Servicios para Académicos
Recupera tu NIP
Mis Préstamos y Multas
Idioma
Inglés
Español
Francés
Galego
Términos de búsqueda
Todos los Campos
Título
Autor
Tema
Clasificación
ISBN/ISSN
Etiqueta
Buscar
Búsqueda Avanzada
Autor
Boldo, Sylvie
Skip recommendations
Mostrando
1 - 1
Resultados de
1
Para Buscar '
Boldo, Sylvie
'
, tiempo de consulta: 0.01s
Limitar resultados
Ordenar
Relevancia
Fecha Descendente
Fecha Ascendente
Signatura
Autor
Título
Herramientas de búsqueda:
Suscríbete a esta búsqueda
1
Cargando…
Computer arithmetic and formal proofs : verifying floating-point algorithms with the Coq system /
por
Boldo, Sylvie
,
Melquiond, Guillaume
Publicado 2017
Clasificación:
Cargando…
Ubicación:
Cargando…
Texto completo
Electrónico
eBook
Código QR
Temas relacionados
Algorithmes
Algorithms
Arithm�etique en virgule flottante
Arithm�etique interne des ordinateurs
COMPUTERS
Computer Literacy
Computer Science
Computer algorithms
Computer arithmetic
Data Processing
Discrete Mathematics
Floating-point arithmetic
General
Hardware
Information Technology
MATHEMATICS
Machine Theory
Reference
algorithms
