WorldCat Identities

Hoare, C. A. R. (Charles Antony Richard) 1934-

Overview
Works: 139 works in 439 publications in 5 languages and 8,022 library holdings
Genres: Conference proceedings 
Roles: Author, Editor, Thesis advisor, Honoree, Translator
Classifications: QA76.6, 001.642
Publication Timeline
.
Most widely held works about C. A. R Hoare
 
Most widely held works by C. A. R Hoare
Structured programming by Ole-Johan Dahl( Book )

49 editions published between 1972 and 1990 in 3 languages and held by 784 WorldCat member libraries worldwide

Communicating sequential processes by C. A. R Hoare( Book )

23 editions published between 1985 and 2000 in 3 languages and held by 729 WorldCat member libraries worldwide

Operating systems techniques; proceedings by C. A. R Hoare( Book )

24 editions published between 1971 and 1976 in English and Undetermined and held by 375 WorldCat member libraries worldwide

Operating system requirements. Operating system principles. Operating system structure. Store management techniques. Filing system techniques. Titan operation system. CDC operating system. Burroughs operating systems. Miscellaneous operating systems 1. Miscellaneous operating system 2
Mathematical logic and programming languages( Book )

15 editions published between 1984 and 1986 in English and held by 367 WorldCat member libraries worldwide

VDM '90 : VDM and Z : formal methods in software development : third international symposium of VDM Europe, Kiel, FRG, April 17-21, 1990 ; proceedings by D Bjørner( Book )

18 editions published in 1990 in English and Italian and held by 290 WorldCat member libraries worldwide

"The present volume is the third in a series of VDM Symposia Proceedings. VDM, the Vienna Development Method, is a formal method for software engineering, Z refers to Zermelo, a mathematician whose name is associated with set theory. Many computing science, programming and software engineering proceedings are published regularly. The ones by VDM Europe have the distinguished mark that they are concerned with bringing real theory to apply to real programming. In Europe, there is very much interest in methodology, semantics and techniques, that is, in understanding how we build and what it is that we are building. The papers of these proceedings basically fall into four major groups: Applications, Methodology, Formalisations, and Foundations. The Methodology group has been further subdivided into five areas: Specification Methodology, Design Methodology, Modularity, Object Orientedness, and Processes, Concurrency and Distributed Systems."--Publisher's website
Essays in computing science by C. A. R Hoare( Book )

11 editions published between 1988 and 1989 in English and held by 283 WorldCat member libraries worldwide

Developments in concurrency and communication( Book )

11 editions published between 1989 and 1991 in English and held by 239 WorldCat member libraries worldwide

A classical mind : essays in honour of C.A.R. Hoare( Book )

7 editions published in 1994 in English and Italian and held by 131 WorldCat member libraries worldwide

The book has significant contributions from distinguished authors across a wide spectrum of computer science: from software engineering practice and computer architecture to a range of theoretical topics. It will appeal to computer scientists working in all areas of the subject
Scientific applications of multiprocessors by MEETING ON SOLVING SCIENTIFIC PROBLEMS ON MULTIPROCESSORS( Book )

6 editions published in 1989 in English and held by 101 WorldCat member libraries worldwide

Mechanized reasoning and hardware design( Book )

10 editions published in 1992 in English and held by 90 WorldCat member libraries worldwide

The mathematics of programming : an inaugural lecture delivered before the University of Oxford on 17 October 1985 by C. A. R Hoare( Book )

7 editions published in 1986 in English and held by 83 WorldCat member libraries worldwide

Unifying theories of programming by C. A. R Hoare( Book )

10 editions published in 1998 in English and German and held by 78 WorldCat member libraries worldwide

Software system reliability and security( Book )

6 editions published in 2007 in English and held by 65 WorldCat member libraries worldwide

To make communication and computation secure against catastrophic failure and malicious interference, it is essential to build secure software systems and methods for their development. This book describes the ideas on how to meet these challenges in software engineering
Engineering theories of software construction( Book )

12 editions published in 2001 in English and held by 62 WorldCat member libraries worldwide

Engineering methods and tools for software safety and security by NATO Advanced Study Institute on Engineering Methods and Tools for Software Safety and Security( Book )

2 editions published in 2009 in English and held by 38 WorldCat member libraries worldwide

Based on the specific needs in applications of software technology, models and formal methods must serve the needs and the quality of advanced software engineering methods. This book provides a presentation of topics on how to meet such challenges covering both theoretical foundations and industrial practice
Systematic software development using VDM by C. B Jones( Book )

1 edition published in 1993 in French and held by 36 WorldCat member libraries worldwide

Software -- Software Engineering
Specification-oriented semantics for communicating processes by E.-R Olderog( Book )

10 editions published between 1984 and 1985 in English and Undetermined and held by 36 WorldCat member libraries worldwide

Software and systems safety : specification and verification by NATO Advanced Study Institute on Software and Systems Safety: Specification and Verification( Book )

4 editions published in 2011 in English and held by 34 WorldCat member libraries worldwide

Information security depends upon an understanding of the functionality of software systems. Customers and information can only be protected from attack if this functionality is guaranteed to be correct and safe. A scientific foundation of software engineering not only provides models enabling the capture of application domains and requirements, but also ensures an understanding of the structure and working of software systems, architectures and programs. This book presents contributions based on the lectures delivered at the 31st International Summer School: Software and Systems Safety: Speci
Millennial perspectives in computer science : proceedings of the 1999 Oxford-Microsoft Symposium in honour of Professor Sir Antony Hoare by Oxford-Microsoft Symposium( Book )

1 edition published in 2000 in English and held by 34 WorldCat member libraries worldwide

Computer science; an inaugural lecture delivered before the Queen's University of Belfast on 10 February 1971 by C. A. R Hoare( Book )

3 editions published in 1971 in English and Undetermined and held by 30 WorldCat member libraries worldwide

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.61 (from 0.01 for Engineerin ... to 0.79 for Unifying t ...)

Alternative Names
C. A. R. Hoare

C. A. R. Hoare informático teórico del Reino Unido

Charles Antony Richard Hoare britisk ingeniør og informatikar

Charles Antony Richard Hoare britisk ingeniør og informatiker

Charles Antony Richard Hoare brittisk ingenjör och datavetare

Charles Antony Richard Hoare informaticien britannique

Hoar, Č.

Hoare, C. A.

Hoare, C.A.R.

Hoare, C. A. R. 1934-

Hoare, C. A. R. (Charles Antony Richard), 1934-

Hoare, Charles A. 1934-

Hoare, Charles Antony Richard.

Hoare, Charles Antony Richard 1934-

Hoare, Tony.

Hoare, Tony 1934-

Hoor, K.

Toni Hor

Tony Hoare britischer Informatiker, Entwickler des Quicksort-Algorithmus sowie des Hoarekalküls

Tony Hoare Een Brits informaticus die het sorteeralgoritme quicksort heeft uitgevonden

Tony Hoare informatico britannico

Сұрыптаудың хоор әдісі

Тони Хор

Тоні Гоар

Хоар, Чарльз Энтони Ричард британский учёный

Хоор, К 1934-

Չարլզ Անտոնի Ռիչարդ Հոար

توني هور

تونی هور دانشمند علوم کامپیوتر و مهندس بریتانیایی

টোনি হোর

찰스 앤터니 리처드 호어

アントニー・ホーア Computer scientist

ホーア, C. A. R

東尼·霍爾

Languages
English (220)

French (4)

Italian (2)

Spanish (2)

German (1)

Covers
VDM '90 : VDM and Z : formal methods in software development : third international symposium of VDM Europe, Kiel, FRG, April 17-21, 1990 ; proceedingsA classical mind : essays in honour of C.A.R. HoareSoftware system reliability and securityEngineering methods and tools for software safety and securityMillennial perspectives in computer science : proceedings of the 1999 Oxford-Microsoft Symposium in honour of Professor Sir Antony Hoare