My Library

LEADER 00000nam a22002775u 4500 
001    978-1-84882-911-4 
003    Springer 
005    20100929151235.0 
008    100929s2010    xx         j        eng d 
020    9781848829121 
100 1  Roscoe, A.W. 
245 10 Reflections on the Work of C.A.R. Hoare|h[electronic 
       resource] /|cedited by A.W. Roscoe, Cliff B. Jones, 
       Kenneth R. Wood. 
260    London :|bSpringer-Verlag London Limited,|c2010. 
300    |bv.: digital 
490 0  History of Computing 
520    Thousands of different programming languages exist, and 
       many more are being created each year, yet all those 
       involved in such work must acknowledge that it is "the 
       highest goal of programming-language design to enable good
       ideas to be elegantly expressed" These are the words of 
       Sir Charles Antony Richard Hoare, or Tony Hoare to his 
       colleagues and friends, a man who has inspired generations
       of researchers in computer science. His work, grounded in 
       practical programming, has had a profound impact on the 
       evolution of the field. This includes the development of 
       Hoare logic and Communicating Sequential Processes (CSP). 
       Reflections on the Work of C.A.R. Hoare presents a 
       comprehensive edited survey of all aspects of these 
       subjects, with original contributions by more than 30 
       international leaders in the field. The book, while 
       honoring Hoare's important contributions, assembles a 
       collection of chapters showing the state of the art in 
       programming languages, sequential programs, concurrency, 
       and unified theories of programming. 
538    eBook access requires you to log in as a Federation 
       University Australia library user 
650  0 Computer science 
700 1  Jones, Cliff B. 
700 1  Wood, Kenneth R. 
710 2  SpringerLink (Online service) 
773 0  |tSpringer eBooks 
856 40 |zAccess eBook online|uhttps://go.openathens.net/
       redirector/federation.edu.au?url=https://doi.org/10.1007/
       978-1-84882-912-1 
999    Owned ebook