Online Library TheLib.net » Computer arithmetic and formal proofs: verifying floating-point algorithms with the Coq system
cover of the book Computer arithmetic and formal proofs: verifying floating-point algorithms with the Coq system

Ebook: Computer arithmetic and formal proofs: verifying floating-point algorithms with the Coq system

00
07.02.2024
0
0
Download the book Computer arithmetic and formal proofs: verifying floating-point algorithms with the Coq system for free or read online
Read Download
Continue reading on any device:
QR code
Last viewed books
Related books
Comments (0)
reload, if the code cannot be seen