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 Library of Congress/NACO National Library of Latvia

Hoare, Charles Antony Richard German National Library Sudoc [ABES], France

Hoare, C. A.R. ISNI National Diet Library, Japan

Hoare, Charles Antony Richard, 1934- National Library of Israel NUKAT Center of Warsaw University Library

Charles Antony Richard Hoare Computer scientist Wikidata

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

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

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

VIAF ID: 108123782 (Personal)

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

ISNI: 0000  0001  2146  7986 

Open Section Close Section Preferred Forms

 

 

 

 

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

Open Section Close SectionWorks

Title Sources
A classical mind, 1994: Library of Congress/NACO National Library of Ireland
Communicating sequential processes xR Extended Titles National Library of the Netherlands National Library of Ireland NUKAT Center of Warsaw University Library German National Library National Library of Sweden Sudoc [ABES], France National Diet Library, Japan Library of Congress/NACO National Library of Latvia
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 National Library of Sweden Sudoc [ABES], France Library of Congress/NACO National Library of Latvia
Engineering theories of software construction National Library of Sweden Library of Congress/NACO Sudoc [ABES], France
Essays in computing science National Library of the Netherlands National Library of Sweden Sudoc [ABES], France NUKAT Center of Warsaw University Library Library of Congress/NACO
Kōzōka puroguramingu National Diet Library, Japan
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 National Library of Sweden Sudoc [ABES], France NUKAT Center of Warsaw University Library Library of Congress/NACO
The mathematics of programming : an inaugural lecture delivered before the University of Oxford on 17th October 1985 National Library of the Netherlands National Library of Sweden Library of Congress/NACO National Library of Ireland Sudoc [ABES], France
Mechanized reasoning and hardware design Library of Congress/NACO National Library of Latvia Sudoc [ABES], France
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
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 National Library of Sweden Sudoc [ABES], France NUKAT Center of Warsaw University Library Library of Congress/NACO
Prentice-Hall international series in computer science National Library of the Netherlands Sudoc [ABES], France
Processus séquentiels communicants / C.A.R. Hoare ; traduit de l'anglais par Alain Kermarrec ; préface de E. Dijkstra, 1987 Sudoc [ABES], France
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
Software and systems safety : specification and verification Library of Congress/NACO
Software system reliability and security Library of Congress/NACO National Library of the Czech Republic
Structured programming National Library of the Netherlands Sudoc [ABES], France NUKAT Center of Warsaw University Library Library of Congress/NACO National Library of Latvia National Library of the Czech Republic
Strukturnoe programmirovanie / U. Dal, È. Dejkstra, K. Hoor. - Moskva, 1975. NUKAT Center of Warsaw University Library
The theory of mathematical machines Sudoc [ABES], France NUKAT Center of Warsaw University Library
Unifying theories of programming National Library of the Netherlands Sudoc [ABES], France Wikidata NUKAT Center of Warsaw University Library
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
VDM ninety Sudoc [ABES], France
VDM une méthode rigoureuse pour le développement du logiciel Sudoc [ABES], France
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
Взаимодействующие последовательные процессы National Library of Latvia
Структурное программирование National Library of Latvia
プログラミングの統一理論 Wikidata
構造化プログラミング National Diet Library, Japan

Open Section Close Section Selected Co-authors

Open Section Close Section Countries of Publication (9)

Open Section Close Section Publication Statistics

Open Section Close Section Selected Publishers (11)

Open Section Close Section About

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