A Simple Program Whose Proof Isn’t
- 1 January 1990
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 2 references indexed in Scilit:
- A note on the for statementBIT Numerical Mathematics, 1972
- Binary conversion, with fixed decimal precision, of a decimal fractionCommunications of the ACM, 1959