Theories of programming : the life and works of Tony Hoare

• Other Authors: Jones, C. B. 1944- (Editor), Misra, Jayadev, (Editor)
• Format: eBook
• Language: English
• Published: [New York, NY, USA] : Association for Computing Machinery; [2021]
• Series: ACM books ; #39.
• Subjects: Hoare, C. A. R. > (Charles Antony Richard), > 1934-; Computer programming.; Software engineering.; Programming languages (Electronic computers); elektronické knihy; electronic books
• ISBN: 9781450387316; 9781450387309; 9781450387286; 9781450387293
• Physical Description: 1 online zdroj (xx, 430 stran)

"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. His contributions have been widely recognised: He was awarded the ACM's Turing Award in 1980, the Kyoto Prize from...