
Theories of Programming
The Life and Works of Tony Hoare
Herausgeber: Jones, Cliff B; Misra, Jayadev
PAYBACK Punkte
31 °P sammeln!
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.