VIAF

Virtual International Authority File

Search

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

Hoare, Charles Antony Richard Sudoc [ABES], France

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

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

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-test: 0000  0001  2146  7986 

Open Section Close Section Preferred Forms

 

 

 

 

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

Open Section Close SectionWorks

Title Sources
A classical mind, 1994: Library of Congress/NACO
Communicating sequential processes NUKAT Center of Warsaw University Library National Library of the Netherlands-test Library of Congress/NACO National Diet Library, Japan German National Library xR Extended Titles-test Sudoc [ABES], France National Library of Latvia
Control flow and data flow concepts of distributed programming Sudoc [ABES], France
CSPモデルの理論 National Diet Library, Japan
Developments in concurrency and communication NUKAT Center of Warsaw University Library National Library of the Netherlands-test Sudoc [ABES], France Library of Congress/NACO National Library of Latvia
Engineering theories of software construction Sudoc [ABES], France Library of Congress/NACO
Essays in computing science NUKAT Center of Warsaw University Library National Library of the Netherlands-test Sudoc [ABES], France Library of Congress/NACO
Implementation languages for realtime systems. National Library of the Netherlands-test
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 NUKAT Center of Warsaw University Library National Library of the Netherlands-test Sudoc [ABES], France 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-test Sudoc [ABES], France Library of Congress/NACO
Mechanized reasoning and hardware design Sudoc [ABES], France Library of Congress/NACO National Library of Latvia
The microprocessor and its application : an advanced course National Library of the Netherlands-test
Millennial perspectives in computer science : proceedings of the 1999 Oxford-Microsoft Symposium in honour of Sir Antony Hoare National Library of the Netherlands-test
Occam programming manual Sudoc [ABES], France
Operating systems techniques proceedings of a seminar held at Queen's university, Belfast, [30 August-3 September] 1971 NUKAT Center of Warsaw University Library National Library of the Netherlands-test Sudoc [ABES], France Library of Congress/NACO
Prentice-Hall international series in computer science National Library of the Netherlands-test 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 NUKAT Center of Warsaw University Library National Library of the Netherlands-test Sudoc [ABES], France Library of Congress/NACO
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 National Library of the Czech Republic Library of Congress/NACO
Structured programming National Library of the Netherlands-test Library of Congress/NACO NUKAT Center of Warsaw University Library Sudoc [ABES], France National Library of Latvia
The theory of mathematical machines NUKAT Center of Warsaw University Library Sudoc [ABES], France
Unifying theories of programming NUKAT Center of Warsaw University Library National Library of the Netherlands-test Sudoc [ABES], France
VDM '90 VDM and Z — Formal Methods in Software Development Third International Symposium of VDM Europe Kiel, FRG, April 17–21, 1990 Proceedings NUKAT Center of Warsaw University Library National Library of the Netherlands-test Sudoc [ABES], France
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 : 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
構造化プログラミング 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 (28)