Online Library TheLib.net » Тема, жанр, tags: Computer arithmetic,Coq (Electronic resource),Floating-point arithmetic,Electronic books
book Computer arithmetic and formal proofs: verifying floating-point algorithms with the Coq system
Computer arithmetic and formal proofs: verifying floating-point algorithms with the Coq system
djvu
00
07.02.2024
0
0
Read online