Reflections on the Work of C.A.R. Hoare

Reflections on the Work of C.A.R. Hoare
Author :
Publisher : Springer Science & Business Media
Total Pages : 434
Release :
ISBN-10 : 9781848829121
ISBN-13 : 1848829124
Rating : 4/5 (124 Downloads)

Book Synopsis Reflections on the Work of C.A.R. Hoare by : Cliff B. Jones

Download or read book Reflections on the Work of C.A.R. Hoare written by Cliff B. Jones and published by Springer Science & Business Media. This book was released on 2010-09-28 with total page 434 pages. Available in PDF, EPUB and Kindle. Book excerpt: Written in honor of Sir Tony Hoare's 75th Birthday, this book provides a discussion of the influence of Hoare's work on current research from an international selection of expert contributors. Includes a scientific biography, listing his most influential work.


Reflections on the Work of C.A.R. Hoare Related Books

Reflections on the Work of C.A.R. Hoare
Language: en
Pages: 434
Authors: Cliff B. Jones
Categories: Computers
Type: BOOK - Published: 2010-09-28 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Written in honor of Sir Tony Hoare's 75th Birthday, this book provides a discussion of the influence of Hoare's work on current research from an international s
Abstractions and Embodiments
Language: en
Pages: 473
Authors: Janet Abbate
Categories: Technology & Engineering
Type: BOOK - Published: 2022-08-30 - Publisher: JHU Press

DOWNLOAD EBOOK

Cutting-edge historians explore ideas, communities, and technologies around modern computing to explore how computers mediate social relations. Computers have b
Understanding Concurrent Systems
Language: en
Pages: 528
Authors: A.W. Roscoe
Categories: Computers
Type: BOOK - Published: 2010-10-10 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

CSP notation has been used extensively for teaching and applying concurrency theory, ever since the publication of the text Communicating Sequential Processes b
Engineering Secure and Dependable Software Systems
Language: en
Pages: 278
Authors: A. Pretschner
Categories: Computers
Type: BOOK - Published: 2019-08-06 - Publisher: IOS Press

DOWNLOAD EBOOK

Almost all technical systems currently either interface with or are themselves largely software systems. Software systems must not harm their environment, but a
Programming Languages and Systems
Language: en
Pages: 818
Authors: Peter Thiemann
Categories: Computers
Type: BOOK - Published: 2016-03-21 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the proceedings of the 25th European Symposium on Programming, ESOP 2016, which took place in Eindhoven, The Netherlands, in April 2016, h