Synopsis
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 *Proof of a structured program: the Sieve of Eratosthenes *A structured paging system *An axiomatic definition of the programming language Pascal *Monitors: an operating system structuring concept *Hints on programming-language design *Recursive data structures *Parallel programming: an axiomatic approach *Communicating sequential processes *A calculus of total correctness for communicating sequential processes *Programming is an engineering profession *A couple of novelties in the propositional calculus *Programs are predicates *The mathematics of programming *An overview of some formal methods for program design *Envoi *References *Bibliography of works by C.A.R. Hoare *Index
"synopsis" may belong to another edition of this title.
Search results for Essays in Computing Science (Prentice-hall International...
Seller Image
Essays in Computing Science (Prentice-hall International Series in Computer Science)
Seller: B Street Books, ABAA and ILAB, Burlingame, CA, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: Very Good. 9.5 x 6.5". A collection of C.A.R. Hoare's published papers, first published in 1989. A fascinating glimpse into the history of computing science. Previous owner's name on the fly-leaf, corners slightly bumped. Seller Inventory # 2022-M287
Stock Image
Essays in Computing Science (Prentice-hall International Series in Computer Science)
Seller: ThriftBooks-Atlanta, AUSTELL, GA, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: Fair. No Jacket. Former library book; Missing dust jacket; Readable copy. Pages may have considerable notes/highlighting. ~ ThriftBooks: Read More, Spend Less. Seller Inventory # G0132840278I5N11
Stock Image
Essays in Computing Science (Prentice-hall International Series in Computer Science)
Seller: HPB-Red, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority! Seller Inventory # S_465828710