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

Main Author:	Boldo, Sylvie
Other Authors:	Melquiond, Guillaume
Subjects:	Computer arithmetic. Floating-point arithmetic Electronic books
Online Access:	http://library.unisel.edu.my/web/guest/mylibrary

Similar Items

Siri asas matematik ITNM
by: Leffingwell, Richard
Published: (2012)

Numbers : age 3-5
by: Cornwell, Carol
Published: (2008)

Prealgebra
by: Martin-Gay, K. Elayn
Published: (2004)

Dosage calculations made incredibly easy!.
Published: (2010)

Dosage calculations : an incredibly easy! pocket guide.
Published: (2007)

Dosage calculations made incredibly easy!
Published: (2009)

Ratio & proportion dosage calculations
by: Giangrasso, Anthony Patrick
Published: (2010)

Pharmacy calculations for pharmacy trchnicians : master calculations the safe and easy way without formulas
by: Wojcik, Bradley J

Development mathematics
by: Bittinger, Marvin L.
Published: (2004)

Xu Sizhong shows love for abacus and mental arithmetic
Published: (2001)

Speed mathematics : secret skills for quick calculation
by: Handley, Bill
Published: (2003)

Nursing calculations
by: Gatford, J. D

Train your brain : 60 days to a better brain
by: Kawashima, Ryuta, Dr
Published: (2008)

Dimensional analysis for meds : refocusing on essential metric calculations
by: Curren, Anna M

The logic of number
by: Tennant, Neil

An Introduction to discrete mathematics and formal system specification
by: Ince, D. C
Published: (1988)

Principles of pharmacology for medical asssisting
by: Rice, Jane
Published: (2006)

Introduction to analytic number theory
by: Apostol, Tom M
Published: (1976)

Model checking quantum systems : principles and algorithms
by: Ying, Mingsheng

Train your brain more : 60 days to a better brain
by: Kawashima, Ryuta, Dr
Published: (2008)

A nurse's guide to dosage calculation : giving medications safely
by: Niblett, Vicki
Published: (2006)

Brown and Mulholland's drug calculations : ratio and proportion problems for clinical practice
by: Tritak, Ann

Linux kernel programming : algorithms and structures of version 2.4
Published: (2002)

Hack proofing Linux : a guide to open source security
by: Stanger, James
Published: (2001)

Complex data analytics with formal concept analysis

Algorithms illuminated
by: Roughgarden, Tim

Introduction to algorithms

Handbook of formal analysis and verification in cryptography

Introduction to the design and analysis of algorithms
by: Goodman, S. E
Published: (1977)

The design and analysis of computer algorithms
by: Aho, Alfred V
Published: (2000)

Learning Microsoft Office XP : Word, Excel, PowerPoint
by: C., W. Koay
Published: (2002)

Algorithms unlocked
by: Cormen, Thomas H

Hacker II : mendalami teknik penggunaan Windows
Published: (2003)

Organisasi & senibina sistem komputer
by: Abdullah Md Zin
Published: (2001)

Hack proofing your e-commerce site : the only way to stop a hacker is to think like one
Published: (2001)

Introduction to the design & analysis of algorithms
by: Levitin, Anany

Data structures and algorithms
by: Aho, Alfred V
Published: (2002)

Introduction to the design & analysis of algorithms
by: Levitin, Anany
Published: (2007)

Algorithmics : the spirit of computing
by: Harel, David
Published: (2000)

Introduction to the design & analysis of algorithms
by: Levitin, Anany
Published: (2012)