Author of the publication

Certification of algorithms 63, 64 and 65, partition, quicksort, and find.

, and . Commun. ACM, 6 (8): 446 (1963)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Dependability and its threats - A taxonomy., , and . IFIP Congress Topical Sessions, volume 156 of IFIP, page 91-120. Kluwer/Springer, (2004)Software Engineering: As it was in 1968.. ICSE, page 1-10. IEEE Computer Society, (1979)The origins of digital computers selected papers ed. by Brian Randell. New York Heidelberg etc. Springer 1982, (1982)Sprachen: English ; Contents Note: Metadata aggregated by The European Library -- Metadata provided by National Library of Luxembourg ; Document Type: text ; Language: English ; Rights: URL: http://creativecommons.org/publicdomain/zero/1.0/ ; Notes: 3rd ed. ; Bibliogr.: p. 431-544. Index. ; XVI, 580 p. 126 fig. 24 cm ; Quelldatenbank: EDS.System Dependability.. 25th Anniversary of INRIA, volume 653 of Lecture Notes in Computer Science, page 21-50. Springer, (1992)Single-Scan Techniques for the Translation of Arithmetic Expressions into ALGOL 60., and . J. ACM, 11 (2): 159-167 (1964)A computer perspective.. Inroads, 2 (3): 28-29 (2011)A program structure for error detection and recovery., , , and . Symposium on Operating Systems, volume 16 of Lecture Notes in Computer Science, page 171-187. Springer, (1974)A Mysterious Advertisement.. IEEE Ann. Hist. Comput., 5 (1): 60-63 (1983)An Annotated Bibliography on the Origins of Digital Computers.. IEEE Ann. Hist. Comput., 1 (2): 101-207 (1979)System structure for software fault tolerance.. Reliable Software, page 437-449. ACM, (1975)