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 *...
Saved in:
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Book |
| Published: |
New York
Prentice Hall
1989
|
| Series: | Prentice Hall International series in computer science
|
| Subjects: | |
| Online Access: | Click Here to View Status and Holdings. |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Add Tag MARC
| LEADER | 00000n a2200000 a 4501 | ||
|---|---|---|---|
| 001 | wils-000467 | ||
| 005 | 2019812144713 | ||
| 020 | # | # | |a 0132840278 |q hardback |
| 040 | # | # | |a UiTM |e rda |
| 041 | 0 | # | |a ENGLISH |
| 090 | 0 | 0 | |a QA76 |b .H56 1989 |
| 100 | 1 | # | |a Hoare, C. A. R. |c 1934- |e author |q Charles Antony Richard |
| 245 | 1 | 1 | |a Essays in computing science |c C.A.R. Hoare and C.B Jones |
| 264 | # | 1 | |a New York |b Prentice Hall |c 1989 |
| 300 | # | # | |a xii, 412 pages |b illustrations |c 24 cm |
| 336 | # | # | |a text |2 rdacontent |
| 337 | # | # | |a unmediated |2 rdamedia |
| 338 | # | # | |a volume |2 rdacarrier |
| 490 | 1 | # | |a Prentice Hall International series in computer science |
| 500 | # | # | |a Includes index. |
| 504 | # | # | |a Includes bibliographical references (page 393-404) |
| 520 | # | # | |a 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 |
| 650 | # | 0 | |a Electronic data processing |
| 650 | # | 0 | |a Computers |
| 700 | 1 | # | |a Jones, C. B. |e editor |q (Cliff B.d1944- |
| 856 | 4 | 0 | |z Click Here to View Status and Holdings. |u https://opac.uitm.edu.my/opac/detailsPage/detailsHome.jsp?tid=000467 |
| 964 | # | # | |c BOK |d 01 |
Computer science