Marc-запись: Computer arithmetic and formal proofs : verifying floating-point algorithms with the Coq system / Sylvie Boldo, Guillaume Melquiond.

Summary goes here

Сохранить в:

Библиографические подробности
Формат:	‌
Язык:	английский
Предметы:	Coq (Electronic resource) Computer arithmetic. Floating-point arithmetic. Computer algorithms. Algorithms Arithm{uFFFD}etique interne des ordinateurs. Arithm{uFFFD}etique en virgule flottante. Algorithmes. algorithms. COMPUTERS MATHEMATICS
Метки:	Добавить метку Нет меток, Требуется 1-ая метка записи!

era
format	Book
genre
geographic
id	70987076-d9e9-4d09-a77b-e64239ecec8b
isbn	9780081011706 0081011709 1785481126 9781785481123
issn
language	eng
physical	1 online resource
publication	– publisher: ISTE Press dateOfPublication: 2017
publishDate	2017
subjects
title	Computer arithmetic and formal proofs : verifying floating-point algorithms with the Coq system / Sylvie Boldo, Guillaume Melquiond.
topic	Coq (Electronic resource) Computer arithmetic. Floating-point arithmetic. Computer algorithms. Algorithms Arithm{uFFFD}etique interne des ordinateurs. Arithm{uFFFD}etique en virgule flottante. Algorithmes. algorithms. COMPUTERS COMPUTERS COMPUTERS COMPUTERS COMPUTERS COMPUTERS COMPUTERS MATHEMATICS Computer algorithms. Computer arithmetic. Floating-point arithmetic.