Examples: Prince; Princeton University; Ken Follett; Follett,Ken
1shortlisttitle datasearch history  
results search [or] (ISNI Number (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-2002)
Dahl, Ob-Johan
Dahl, Ole-Johan (1931-2002)
Dijkstra, Edsger W. (1930-2002)
Dijkstra, Edsger Wybe
Dijkstra, Edsger Wybe (1930-2002)
Grünbauer, Johannes
Harel, David
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, 1985:
Computer science; an inaugural lecture delivered before the Queen's University of Belfast on 10 February 1971
CSPモデルの理論
Developments in concurrency and communication
Engineering methods and tools for software safety and security
Engineering theories of software construction
Engineering Theories of Software Intensive Systems Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems Marktoberdorf, Germany 3–15 August 2004.
Essays in computing science
Implementation languages for realtime systems.
Kōzōka puroguramingu
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
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
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
Specification-oriented semantics for communicating processes
Structured programming
Strukturnoe programmirovanie
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
Voprosy teorii matematičeskih mašin.
Vzaimodejstvujuščie posledovatel'nye processy
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