Toon
1 - 1
resultaten van
1
Voor zoekopdracht '
"Coq (Electronic resource)."
'
Ga door naar de inhoud
VuFind
Portail des bu
0
items
(Vol)
Jouw account
Uitloggen
Aanmelden
Taal
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
Alle velden
Titel
Titel tijdschrift
Auteur
Onderwerp
Geavanceerd
Zoekresultaten - "Coq (Electronic resource)."
Gesuggereerde onderwerpen binnen jouw zoekopdracht.
Gesuggereerde onderwerpen binnen jouw zoekopdracht.
Arithmétique en virgule flottante
1
Arithmétique interne des ordinateurs
1
Computer algorithms
1
Computer arithmetic
1
Floating-point arithmetic
1
Toon
1 - 1
resultaten van
1
Voor zoekopdracht '
"Coq (Electronic resource)."
'
Verfijn jouw resultaten
Resultaten per pagina
25
50
75
100
Sorteren
Relevantie
Datum Aflopend
Datum Oplopend
Plaatsingsnummer
Auteur
Titel
1
Computer arithmetic and formal proofs : verifying floating-point algorithms with the Coq system
door
Boldo, Sylvie.
Gepubliceerd in 2017
Accès à l'E-book
E-Book
Voeg toe aan boekentas
Verwijderen uit jouw boekentas
Toevoegen aan favorieten
Bewaard in:
Zoekinstrumenten:
Abonneren op RSS-datastromen
—
Zoekopdracht versturen
—
Sla zoekopdracht op
Terug
Verfijnd zoeken
Bibliotheek
Bibliothèque numérique
1
Formaat
E-Book
1
Auteur
Boldo, Sylvie
1
Melquiond, Guillaume (19..-....)
1
Taal
Anglais
1
Publicatiejaar
Van:
Tot:
Wordt geladen...