ISBN: 9781785481123, 1785481126
Computer Arithmetic and Formal Proofs Verifying Floating-point Algorithms with the Coq System Ebook (tebook.shop)
$25.00
Sylvie Boldo; Guillaume Melquiond
Category: 2017
Tag: tebook.shop
Related products
$25.00