WorldCat Identities

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

Overview
Works: 135 works in 381 publications in 4 languages and 6,463 library holdings
Genres: Conference proceedings 
Roles: Author, Editor, Thesis advisor, Honoree, Translator
Classifications: QA76.6, 005
Publication Timeline
.
Most widely held works about C. A. R Hoare
 
Most widely held works by C. A. R Hoare
Software system reliability and security ( )
5 editions published in 2007 in English and held by 1,112 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 methods and tools for software safety and security by NATO Advanced Study Institute on Engineering Methods and Tools for Software Safety and Security( )
2 editions published in 2009 in English and held by 904 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
Structured programming by Ole-Johan Dahl( Book )
36 editions published between 1972 and 1990 in English and Undetermined and held by 747 WorldCat member libraries worldwide
Communicating sequential processes by C. A. R Hoare( Book )
23 editions published between 1985 and 2000 in 4 languages and held by 675 WorldCat member libraries worldwide
Operating systems techniques; proceedings by C. A. R Hoare( Book )
21 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
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 )
16 editions published in 1990 in English and held by 349 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
Mathematical logic and programming languages ( Book )
12 editions published between 1984 and 1986 in English and held by 347 WorldCat member libraries worldwide
Essays in computing science by C. A. R Hoare( Book )
10 editions published between 1988 and 1989 in English and held by 282 WorldCat member libraries worldwide
Developments in concurrency and communication ( Book )
9 editions published between 1989 and 1991 in English and held by 236 WorldCat member libraries worldwide
A classical mind : essays in honour of C.A.R. Hoare ( Book )
6 editions published in 1994 in English and Italian and held by 133 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 100 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 )
6 editions published in 1986 in English and held by 82 WorldCat member libraries worldwide
Mechanized reasoning and hardware design ( Book )
7 editions published in 1992 in English and held by 82 WorldCat member libraries worldwide
Engineering theories of software construction ( Book )
5 editions published in 2001 in English and held by 58 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 )
3 editions published in 2011 in English and held by 42 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
VDM : une méthode rigoureuse pour le développement du logiciel by C. B Jones( Book )
1 edition published in 1993 in French and held by 37 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 33 WorldCat member libraries worldwide
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 32 WorldCat member libraries worldwide
Language hierarchies and interfaces : international summer school by Friedrich Ludwig Bauer( )
3 editions published in 1976 in English and Undetermined and held by 25 WorldCat member libraries worldwide
The laws of occam programming by A. W Roscoe( Book )
7 editions published in 1986 in English and Undetermined and held by 24 WorldCat member libraries worldwide
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.59 (from 0.39 for Software s ... to 1.00 for An intervi ...)
Alternative Names
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.
Хоор, К 1934-
ホーア, C. A. R
Languages
English (176)
French (3)
Japanese (2)
Italian (1)
Covers