Immagine di copertina: Computer Arithmetic and Formal Proofs 9781785481123

Computer Arithmetic and Formal Proofs

Verifying Floating-point Algorithms with the Coq System

  • Autore(i) Sylvie Boldo; Guillaume Melquiond
  • Editore Pubblicato da ISTE Press - Elsevier Copyright © 2018
  • "ISBN-13 9781785481123"
  • Formato Layout adattabile

eBook

Licenza eTextbook
‌
€112.32 EUR
‌
‌

  • Strumenti di studio

    Strumenti di studio integrati come momenti salienti e altro

  • Leggi ad alta voce

    Ascolta e segui mentre Bookshelf legge il testo per te

  • Accesso offline

    Accedi al tuo eTextbook sempre e ovunque

  • Ricerca globale

    Cerca nel contenuto del libro, nelle figure e nella tua cartella di lavoro

Ulteriori informazioni

Computer Arithmetic and Formal Proofs: Verifying Floating-point Algorithms with the Coq System è scritto da Sylvie Boldo; Guillaume Melquiond e pubblicato da ISTE Press - Elsevier. Gli ISBN digitali e di eTextbook per Computer Arithmetic and Formal Proofs sono 9780081011706, 0081011709 e gli ISBN per la versione cartacea sono 9781785481123, 1785481126. Risparmia fino al 80% rispetto alla versione cartacea passando al digitale con VitalSource.

Torna all'inizio