Essays in Computing Science (Prentice-Hall International Series in Computer Science)

3.67 avg rating
( 3 ratings by Goodreads )
 
9780132840279: Essays in Computing Science (Prentice-Hall International Series in Computer 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 *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.

Top Search Results from the AbeBooks Marketplace

1.

Hoare, C. A. R.; Jones, C. B.
Published by Prentice Hall
ISBN 10: 0132840278 ISBN 13: 9780132840279
New Hardcover Quantity Available: 1
Seller
Cloud 9 Books
(Wellington, FL, U.S.A.)
Rating
[?]

Book Description Prentice Hall. Hardcover. Book Condition: New. 0132840278 New Condition. Bookseller Inventory # NEW6.1040851

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 82.25
Convert Currency

Add to Basket

Shipping: US$ 4.99
Within U.S.A.
Destination, Rates & Speeds

2.

Hoare, C. A. R., Jones, C. B.
Published by Prentice Hall (1989)
ISBN 10: 0132840278 ISBN 13: 9780132840279
New Hardcover Quantity Available: 2
Seller
Murray Media
(North Miami Beach, FL, U.S.A.)
Rating
[?]

Book Description Prentice Hall, 1989. Hardcover. Book Condition: New. Bookseller Inventory # P110132840278

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 90.26
Convert Currency

Add to Basket

Shipping: US$ 2.99
Within U.S.A.
Destination, Rates & Speeds

3.

C. A. R. Hoare, C. B. Jones
Published by Prentice Hall (1989)
ISBN 10: 0132840278 ISBN 13: 9780132840279
New Hardcover Quantity Available: 1
Seller
Ergodebooks
(RICHMOND, TX, U.S.A.)
Rating
[?]

Book Description Prentice Hall, 1989. Hardcover. Book Condition: New. Bookseller Inventory # DADAX0132840278

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 207.28
Convert Currency

Add to Basket

Shipping: US$ 3.99
Within U.S.A.
Destination, Rates & Speeds