VIAF

Virtual International Authority File

Search

Hoare, C.A.R. (Charles Antony Richard), 1934- National Library of the Netherlands National Library of Ireland National Library of the Czech Republic National Library of Sweden National Library of Israel Library of Congress/NACO National Library of Latvia

Hoare, Charles Antony Richard, 1934-.... National Diet Library, Japan Sudoc [ABES], France NUKAT Center of Warsaw University Library National Library of Lithuania

Hoare, C.A.R. 1934- National Library of Poland BIBSYS

Hoare, C. A.R. National and University Library in Zagreb ISNI Library and Archives Canada

Charles Antony Richard Hoare Wikidata

Hoare, C. A. R. (Charles Antony Richard) NII (Japan) National Library of Australia

Hoare, Charles Antony Richard RERO - Library Network of Western Switzerland

Hoare, Charles A. R. 1934- German National Library

VIAF ID: 108123782 (Personal)

Permalink: http://viaf.org/viaf/108123782

Open Section Close Section Preferred Forms

 

 

 

 

Open Section Close Section 4xx's: Alternate Name Forms (63)

Open Section Close SectionWorks

Title Sources
An axiomatic basis for computer programming Wikidata
A classical mind, 1994: Library of Congress/NACO National Library of Ireland RERO - Library Network of Western Switzerland BIBSYS
Communicating sequential processes National Library of the Netherlands National Library of Ireland NUKAT Center of Warsaw University Library BIBSYS NII (Japan) German National Library Library and Archives Canada National Library of Sweden xR Extended Relationships National Diet Library, Japan Sudoc [ABES], France Library of Congress/NACO National Library of Latvia Wikidata RERO - Library Network of Western Switzerland
Concurrent and Distributed Systems Wikidata
Control flow and data flow : concepts of distributed programming Sudoc [ABES], France
Cornerstones of computing Sudoc [ABES], France
CSPモデルの理論 National Diet Library, Japan
Developments in concurrency and communication National Library of the Netherlands NUKAT Center of Warsaw University Library BIBSYS NII (Japan) National Library of Sweden Sudoc [ABES], France Library of Congress/NACO National Library of Latvia Wikidata RERO - Library Network of Western Switzerland
The emperor's old clothes Wikidata
Engineering theories of software construction National Library of Sweden Library of Congress/NACO Sudoc [ABES], France BIBSYS
Essays in computing science National Library of the Netherlands NUKAT Center of Warsaw University Library BIBSYS NII (Japan) National Library of Sweden Sudoc [ABES], France Library of Congress/NACO RERO - Library Network of Western Switzerland
How Did Software Get So Reliable Without Proof? Wikidata
Kôzôka puroguramingu National Diet Library, Japan BIBSYS
Language Hierarchies and Interfaces : International Summer School Sudoc [ABES], France
Masterminds of programming : conversations with the creators of major programming languages NUKAT Center of Warsaw University Library
Mathematical logic and programming languages National Library of the Netherlands NUKAT Center of Warsaw University Library BIBSYS National Library of Sweden Sudoc [ABES], France Library of Congress/NACO Wikidata RERO - Library Network of Western Switzerland
The mathematics of programming : an inaugural lecture delivered before the University of Oxford on 17 October 1985 National Library of the Netherlands National Library of Sweden National Library of Ireland Sudoc [ABES], France NII (Japan) RERO - Library Network of Western Switzerland Library of Congress/NACO
Mechanized reasoning and hardware design NII (Japan) Library of Congress/NACO National Library of Latvia Sudoc [ABES], France BIBSYS
The microprocessor and its application : an advanced course National Library of the Netherlands
Millennial perspectives in computer science : proceedings of the 1999 Oxford-Microsoft Symposium in honour of Sir Antony Hoare National Library of the Netherlands
Monitors: an operating system structuring concept Wikidata
n84148204 National Diet Library, Japan
Occam programming manual Sudoc [ABES], France
Operating systems techniques : proceedings of a seminar held at Queen's University, Belfast, 1971 National Library of the Netherlands NUKAT Center of Warsaw University Library BIBSYS National Library of Sweden Sudoc [ABES], France RERO - Library Network of Western Switzerland Library of Congress/NACO
The origin of concurrent programming : from semaphores to remote procedure calls BIBSYS
Prentice-Hall international series in computer science National Library of the Netherlands Sudoc [ABES], France
Programming: Sorcery or Science? Wikidata
Proof of a program: FIND Wikidata
Proof of correctness of data representations Wikidata
The quality of software Wikidata
Quicksort Wikidata
Record handling : a series of lectures to be delivered at the NATO Summer School, Villard-de-Lans, September 12-16, 1966 BIBSYS
Recursive data structures Wikidata
Scientific applications of multiprocessors National Library of the Netherlands National Library of Sweden Library of Congress/NACO Sudoc [ABES], France NUKAT Center of Warsaw University Library
Shīesupī moderu no riron National Diet Library, Japan
The slide rule and how to use it : containing full, easy, and simple instructions to perform all business calcurations with unexampled rapidity and accuracy NII (Japan)
Software and systems safety : specification and verification Library of Congress/NACO Sudoc [ABES], France
Software system reliability and security National Library of Sweden Library of Congress/NACO
Structured programming National Library of the Netherlands NUKAT Center of Warsaw University Library BIBSYS National Library of the Czech Republic Sudoc [ABES], France Library of Congress/NACO National Library of Latvia RERO - Library Network of Western Switzerland
Strukturált programozás BIBSYS
Symposium in Celebration of the work of C.A.R. Hoare, St. Catherine's College, Oxford, 13th-15th September, 1999 : <proceedings> RERO - Library Network of Western Switzerland BIBSYS
The theory of mathematical machines Sudoc [ABES], France NUKAT Center of Warsaw University Library
Unifying theories of programming National Library of the Netherlands NUKAT Center of Warsaw University Library BIBSYS NII (Japan) Sudoc [ABES], France RERO - Library Network of Western Switzerland Wikidata
VDM '90 : VDM and Z-formal methods in software development : Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990 : proceedings National Library of the Netherlands National Library of Sweden Sudoc [ABES], France NUKAT Center of Warsaw University Library BIBSYS Wikidata
VDM : une méthode rigoureuse pour le développement du logiciel RERO - Library Network of Western Switzerland Sudoc [ABES], France
ViewpointRetrospective Wikidata
Voprosy teorii matematičeskih mašin. NUKAT Center of Warsaw University Library
Vzaimodejstvuûŝie posledovatel'nye processy NUKAT Center of Warsaw University Library
Wielkie umysły programowania / Federico Biancuzzi, Shane Warden. - Gliwice, cop. 2010. National Library of Poland
Wielkie umysły programowania : jak myślą i pracują twórcy najważniejszych języków NUKAT Center of Warsaw University Library
Взаимодействующие последовательные процессы NII (Japan) National Library of Latvia
Структурное программирование National Library of Latvia
プログラミングの統一理論 Wikidata
構造化プログラミング National Diet Library, Japan BIBSYS

Open Section Close Section Selected Co-authors

Open Section Close Section Countries and Regions of Publication (11)

Open Section Close Section Publication Statistics

Open Section Close Section Selected Publishers (13)

Open Section Close Section About

Open Section Close Section History of VIAF ID:108123782 (29)