Record Nr.

UNINA9910583020603321

Autore

Boldo Sylvie

Titolo

Computer arithmetic and formal proofs : verifying floating-point algorithms with the Coq system / / Sylvie Boldo, Guillaume Melquiond

Pubbl/distr/stampa


London, England : , : ISTE Press : , : Elsevier, , 2017
©2017

ISBN

0-08-101170-9

Descrizione fisica

1 online resource (328 pages) : illustrations

Disciplina

004.0151

Soggetti

Computer arithmetic

Floating-point arithmetic

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia

Nota di bibliografia

Includes bibliographical references and index.