Рейтинг: 0 из 5 звезд
0 оценок
Загрузка
GM![]()
author
Guillaume Melquiond
Guillaume Melquiond is a Researcher at INRIA in Orsay, France.Guillaume Melquiond is a Researcher at INRIA in Orsay, France.
Книги автора Guillaume Melquiond
Computer Arithmetic and Formal Proofs: Verifying Floating-point Algorithms with the Coq System