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

Internet

Cornell University

Holdings details from Cornell University
Call Number:	++ Thesis QA70 1980 H749 Thesis 1980 H749