Computer arithmetic and formal proofs : verifying floating-point algorithms with the Coq system

Computer arithmetic and formal proofs : verifying floating-point algorithms with the Coq system

Enregistré dans:
Détails bibliographiques
Auteur principal: Boldo, Sylvie. (Auteur)
Autres auteurs: Melquiond, Guillaume (19..-....). (Auteur)
Support: E-Book
Langue: Anglais
Publié: London : Oxford, UK : ISTE Press ; Elsevier, 2017.
Sujets:
Coq (Electronic resource).
Coq > logiciel.
Arithmétique interne des ordinateurs.
Arithmétique en virgule flottante.
Computer algorithms.
Computer arithmetic.
Floating-point arithmetic.
Autres localisations: Voir dans le Sudoc
Accès en ligne: Accès à l'E-book
LEADER 02398cmm a2200577 i 4500
001 ebook-227987357
005 20240112140429.0
007 cr|cuu---auauu
008 180622s2017||||uk ||||g|||d ||||||eng d
020 |a 9780081011706 
035 |a (OCoLC)1030972739 
035 |a FRCYB88851479 
035 |a FRCYB08288851479 
035 |a FRCYB14088851479 
035 |a FRCYB24288851479 
035 |a FRCYB26088851479 
035 |a FRCYB26888851479 
035 |a FRCYB29388851479 
035 |a FRCYB29588851479 
035 |a FRCYB54288851479 
035 |a FRCYB55488851479 
035 |a FRCYB55988851479 
035 |a FRCYB56788851479 
040 |a ABES  |b fre  |e AFNOR 
041 0 |a eng  |2 639-2 
082 0 |a 004.01/51  |2 23 
100 1 |0 (IdRef)112505821  |1 http://www.idref.fr/112505821/id  |a Boldo, Sylvie.  |4 aut.  |e Auteur 
245 1 0 |a Computer arithmetic and formal proofs :  |b verifying floating-point algorithms with the Coq system   |c Sylvie Boldo, Guillaume Melquiond. 
256 |a Données textuelles. 
264 1 |a London :  |b ISTE Press ;  |a Oxford, UK :  |b Elsevier,  |c 2017. 
336 |b txt  |2 rdacontent 
337 |b c  |2 rdamedia 
337 |b b  |2 isbdmedia 
338 |b ceb  |2 RDAfrCarrier 
500 |a Titre provenant de la page de titre du document numérique. 
500 |a La pagination de l'édition imprimée correspondante est de 328 p. 
506 |a L'accès complet à la ressource est réservé aux usagers des établissements qui en ont fait l'acquisition 
538 |a Configuration requise : navigateur internet. 
630 0 0 |a Coq (Electronic resource).  |2 lc 
630 0 7 |0 (IdRef)168284979  |1 http://www.idref.fr/168284979/id  |a Coq  |g logiciel.  |2 ram 
650 7 |0 (IdRef)032167091  |1 http://www.idref.fr/032167091/id  |a Arithmétique interne des ordinateurs.  |2 ram 
650 7 |0 (IdRef)07848507X  |1 http://www.idref.fr/07848507X/id  |a Arithmétique en virgule flottante.  |2 ram 
650 0 |a Computer algorithms.  |2 lc 
650 0 |a Computer arithmetic.  |2 lc 
650 0 |a Floating-point arithmetic.  |2 lc 
700 1 |0 (IdRef)117280836  |1 http://www.idref.fr/117280836/id  |a Melquiond, Guillaume  |d (19..-....).  |4 aut.  |e Auteur 
856 |q HTML  |u https://srvext.uco.fr/login?url=https://univ.scholarvox.com/book/88851479  |w Données éditeur  |z Accès à l'E-book 
886 2 |2 unimarc  |a 181  |a i#  |b xxxe## 
993 |a E-Book  
994 |a BNUM 
995 |a 227987357 

Documents similaires