WorldCat Identities

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

Overview
Works: 128 works in 348 publications in 3 languages and 6,116 library holdings
Genres: Conference proceedings 
Roles: Editor, Thesis advisor, Honoree, Translator
Classifications: QA76.6, 005
Publication Timeline
Key
Publications about  C. A. R Hoare Publications about C. A. R Hoare
Publications by  C. A. R Hoare Publications by C. A. R Hoare
Most widely held works about C. A. R Hoare
 
Most widely held works by C. A. R Hoare
Software system reliability and security ( )
4 editions published in 2007 in English and held by 931 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 775 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 )
37 editions published between 1972 and 1990 in 3 languages and held by 762 WorldCat member libraries worldwide
Communicating sequential processes by C. A. R Hoare ( Book )
17 editions published between 1985 and 2000 in English and Undetermined and held by 653 WorldCat member libraries worldwide
Operating systems techniques; proceedings by International Seminar on Operating Systems Techniques ( Book )
17 editions published between 1972 and 1976 in English and Undetermined and held by 370 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 by Mathematical logic and programming languages ( Book )
12 editions published between 1984 and 1986 in English and held by 341 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 )
15 editions published in 1990 in English and held by 328 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 )
10 editions published between 1988 and 1989 in English and held by 281 WorldCat member libraries worldwide
Developments in concurrency and communication ( Book )
9 editions published between 1989 and 1991 in English and held by 238 WorldCat member libraries worldwide
A classical mind : essays in honour of C.A.R. Hoare ( Book )
5 editions published in 1994 in English and held by 132 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 98 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
Mechanized reasoning and hardware design ( Book )
5 editions published in 1992 in English and held by 75 WorldCat member libraries worldwide
Engineering theories of software construction ( Book )
5 editions published in 2001 in English and held by 52 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 43 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 39 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 )
2 editions 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 )
2 editions published in 1971 in English and held by 30 WorldCat member libraries worldwide
Language hierarchies and interfaces : international summer school by Friedrich Ludwig Bauer ( )
2 editions published in 1976 in English and held by 29 WorldCat member libraries worldwide
Processus sequentiels communicants by Charles Anthony Richard Hoare ( Book )
2 editions published in 1987 in French 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.35 for Engineerin ... 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 (160)
Russian (3)
French (3)
Covers