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)
GET BOOK
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

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

Authors: Cliff B. Jones
Categories: Computers
Type: BOOK - Published: 2010-09-28 - Publisher: Springer Science & Business Media

GET 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

Abstractions and Embodiments

Authors: Janet Abbate
Categories: Technology & Engineering
Type: BOOK - Published: 2022-08-30 - Publisher: JHU Press

GET 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

Understanding Concurrent Systems

Authors: A.W. Roscoe
Categories: Computers
Type: BOOK - Published: 2010-10-10 - Publisher: Springer Science & Business Media

GET EBOOK

CSP notation has been used extensively for teaching and applying concurrency theory, ever since the publication of the text Communicating Sequential Processes b
Unifying Theories of Programming
Language: en
Pages: 224

Unifying Theories of Programming

Authors: Pedro Ribeiro
Categories: Computers
Type: BOOK - Published: 2019-09-23 - Publisher: Springer Nature

GET EBOOK

This volume contains papers presented at UTP 2019, the 7th International Symposium on Unifying Theories of Programming, held in Porto, Portugal, on the 8th of O
Theories of Programming
Language: en
Pages: 450

Theories of Programming

Authors: Cliff B. Jones
Categories: Computers
Type: BOOK - Published: 2021-09-26 - Publisher: Morgan & Claypool

GET EBOOK

Sir Tony Hoare has had an enormous influence on computer science, from the Quicksort algorithm to the science of software development, concurrency and program v