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 (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
Quantity: 1 available
Stock Image
Essays in Computing Science
Published by
Pearson Education, Limited, 1989
ISBN 10: 0132840278
ISBN 13: 9780132840279
Used
Hardcover
Seller: Better World Books Ltd, Dunfermline, United Kingdom
Seller rating 5 out of 5 stars
Condition: Good. Ships from the UK. Former library book; may include library markings. Used book that is in clean, average condition without any missing pages. Seller Inventory # GRP22070737
Quantity: 1 available