Résultat(s)
1 - 1
résultats de
1
pour la requête '
"Coq logiciel."
'
Saltar ao contenido
VuFind
Portail des bu
0
registros
(Completo)
Mon compte
Saír
Entrar
Idioma
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文（繁體）
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Todos os campos
Titre
Título de Revista
Autor
Sujet
Avanzado
Resultados de procura - "Coq logiciel."
Suggestion de sujets dans votre recherche.
Suggestion de sujets dans votre recherche.
Arithmétique en virgule flottante
1
Arithmétique interne des ordinateurs
1
Computer algorithms
1
Computer arithmetic
1
Floating-point arithmetic
1
Résultat(s)
1 - 1
résultats de
1
pour la requête '
"Coq logiciel."
'
Limitar resultados
Resultados por páxina
25
50
75
100
Ordenar
Relevancia
Data Descendente
Data Ascendente
Número de clasificación
Autor
Título
1
Computer arithmetic and formal proofs : verifying floating-point algorithms with the Coq system
por
Boldo, Sylvie.
Publicado 2017
Accès à l'E-book
E-Book
Engadir á cesta
Eliminar da cesta
Engadir a favoritos
Gardado en:
Ferramentas de procura:
RSS
—
Enviar por correo electrónico esta procura
—
Gardar procuras
Atrás
Resultados Agrupados
Biblioteca
Bibliothèque numérique
1
Formato
E-Book
1
Autor
Boldo, Sylvie
1
Melquiond, Guillaume (19..-....)
1
Idioma
Anglais
1
Ano de Publicación
De:
a:
Cargando...