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-13 : 9781848829121
ISBN-10 : 1848829124
Rating : 4/5 (24 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
Interactive Theorem Proving
Language: en
Pages: 508
Authors: Sandrine Blazy
Categories: Mathematics
Type: BOOK - Published: 2013-07-22 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 4th International Conference on Interactive Theorem Proving, ITP 2013, held in Rennes, France, in July 201
Effective Theories in Programming Practice
Language: en
Pages: 562
Authors: Jayadev Misra
Categories: Computers
Type: BOOK - Published: 2022-12-27 - Publisher: Morgan & Claypool

DOWNLOAD EBOOK

Set theory, logic, discrete mathematics, and fundamental algorithms (along with their correctness and complexity analysis) will always remain useful for computi
Generic and Indexed Programming
Language: en
Pages: 266
Authors: Jeremy Gibbons
Categories: Computers
Type: BOOK - Published: 2012-07-20 - Publisher: Springer

DOWNLOAD EBOOK

Generic programming is about making programs more widely applicable via exotic kinds of parametrization---not just along the dimensions of values or of types, b
Software Engineering and Formal Methods
Language: en
Pages: 395
Authors: George Eleftherakis
Categories: Computers
Type: BOOK - Published: 2012-09-25 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 10th International Conference on Software Engineering and Formal Methods, SEFM 2012, held in Thessaloniki,