Computer arithmetic and formal proofs : verifying floating-point algorithms with the Coq system
by: Boldo, Sylvie
Computer arithmetic in practice : exercises and programming
Main Author: | Grys, Slawomir |
---|---|
Subjects: | |
Online Access: |
http://library.unisel.edu.my/web/guest/mylibrary |
Similar Items
-
Computer arithmetic and formal proofs : verifying floating-point algorithms with the Coq system
by: Boldo, Sylvie -
Brown and Mulholland's drug calculations : ratio and proportion problems for clinical practice
by: Tritak, Ann -
The practice of programming
by: Kernighan, Brian W
Published: (1999) -
Siri asas matematik ITNM
by: Leffingwell, Richard
Published: (2012) -
Numbers : age 3-5
by: Cornwell, Carol
Published: (2008)