Items related to Essays in Computing Science (Prentice-hall International...
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
Published by
Prentice Hall, New York, 1989
ISBN 10: 0132840278
ISBN 13: 9780132840279
Used
Hardcover
Seller: Munster & Company LLC, ABAA/ILAB, Corvallis, OR, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: Very Good. New York: Prentice Hall, 1989. xii, 412 pp. 24 x 16.5 cm. Glossy paper covered boards printed in orange and white with black and white lettering to covers and spine. Light bumping to spine ends, with some rubbing and light bumping to corners of boards. Some slight age toning to front cover. Interior is clean and unmarked. Binding is firm. . Hard Cover. Very Good. Seller Inventory # 629443
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: 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