Floating-point arithmetic and program correctness proofs /

Floating-point arithmetic and program correctness proofs /

Bibliographic Details
Main Author:	Holm, John Erick, 1953-
Format:	Thesis Book
Language:	English
Published:	1980
Subjects:	Floating-point arithmetic

Description
Item Description:	Typescript (photocopy)
Physical Description:	vii, 133 leaves ; 29 cm
Bibliography:	Bibliography: leaves 129-133