Examples: Prince; Princeton University; Ken Follett; Follett,Ken
1shortlisttitle datasearch history  
results search [or] ISN:0000000121467986 | 1 hits
Person
ISNI: 
0000 0001 2146 7986
Name: 
Hoar, Č.
Hoare, C. A.
Hoare, C. A. R.
Hoare, Charles A.
Hoare, Charles A. R.
Hoare, Charles Antony Richard
Hoare, Tony
Hoor, K.
Хоор, К
ホーア, C. A. R
Dates: 
1934-
Creation class: 
article
Computer file
cre
Language material
Text
Creation role: 
author
contributor
editor
redactor
Related names: 
Broy, M. (1949-)
Dahl, O. J. (1931-)
Dahl, Ob-Johan
Dahl, Ole-Johan (1931-)
Dijkstra, Edsger W.
Dijkstra, Edsger Wybe
Grünbauer, Johannes
Olderog, Ernst-Rüdiger (1955-)
Perrott, Ronald H. (1942-)
Shepherdson, J. C.
VDM-Europe (Kiel, Germany))
Ершова, А. П
武市, 正人 (1948-)
Titles: 
classical mind, 1994:, A
Communicating sequential processes
Control flow and data flow concepts of distributed programming
CSPモデルの理論
Developments in concurrency and communication
Engineering theories of software construction
Essays in computing science
Implementation languages for realtime systems.
Kōzōka puroguramingu
Language Hierarchies and Interfaces International Summer School
Masterminds of programming : conversations with the creators of major programming languages
Mathematical logic and programming languages
mathematics of programming, The : an inaugural lecture delivered before the University of Oxford on 17th October 1985
Mechanized reasoning and hardware design, 1992:
microprocessor and its application, The : an advanced course
Millennial perspectives in computer science : proceedings of the 1999 Oxford-Microsoft Symposium in honour of Sir Antony Hoare
Occam programming manual
Operating Systems Techniques : proceedings of a Seminar held at Queen's University, Belfast, 1971
Prentice-Hall international series in computer science
Scientific applications of multiprocessors
Shīesupī moderu no riron
Software and systems safety : specification and verification
Software system reliability and security
Structured programming.
theory of mathematical machines, The
Unified Theories of Programming
Unifying theories of programming
VDM '90 : VDM and Z - formal methods in software development : third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990 : proceedings
VDM ninety
VDM une méthode rigoureuse pour le développement du logiciel
Voprosy teorii matematičeskih mašin.
Vzaimodejstvuûŝie posledovatel'nye processy
Wielkie umysły programowania : jak myślą i pracują twórcy najważniejszych języków
Взаимодействующие последовательные процессы
Структурное программирование
構造化プログラミング
Contributed to or performed: 
NATO ASI SERIES F COMPUTER AND SYSTEMS SCIENCES
Notes: 
Sources: 
VIAF DNB LC LNB NDL NKC NLI NLP NTA NUKAT SELIBR SUDOC WKP
ALCS
TEL
ZETO