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