Essays in computing science

Essays in computing science

Contents: *Forward *Preface *The Emperor's old clothes *Quicksort *A contribution to the development of ALGOL *An axiomatic basis for computer programming *Proof of a program:Find *Procedures and parameters: an axiomatic approach *Compufer science *Proof of correctness of data representations *...

Full description

Saved in:
Bibliographic Details
Main Author: Hoare, C. A. R. 1934- Charles Antony Richard (Author)
Other Authors: Jones, C. B. (Cliff B.d1944- (Editor)
Format: Unknown
Published: New York Prentice Hall 1989
Series:Prentice Hall International series in computer science
Subjects:
Electronic data processing
Computers
Online Access:Click Here to View Status and Holdings.
Tags: Add Tag
No Tags, Be the first to tag this record!

Similar Items

Similar Items