Theories of Programming The Life and Works of Tony Hoare |
|
| Editor:
| Jones, Cliff B.
Misra, Jayadev |
| Series title: | ACM Collection II Ser. |
| ISBN: | 978-1-4503-8728-6 |
| Publication Date: | Sep 2021 |
| Publisher: | Morgan & Claypool Publishers
|
| Book Format: | Hardback |
| List Price: | AUD $85.00 |
Book Description:
|
Sir Tony Hoare has had an enormous influence on computer science, from the Quicksort algorithm to the science of software development, concurrency and program verification. This book presents the essence of his various works - the quest for effective abstractions - both in his own words as well as chapters written by leading experts in the field.
Sir Tony Hoare has had an enormous influence on computer science, from the Quicksort algorithm to the science of software development, concurrency and program verification. This book presents the essence of his various works - the quest for effective abstractions - both in his own words as well as chapters written by leading experts in the field.