Hoare, C.A.R. (Charles Antony Richard), 1934-
Hoare, Charles Antony Richard, 1934-....
Hoare, C.A.R. 1934-
Hoare, C. A.R.
Charles Antony Richard Hoare
Hoare, C. A. R. (Charles Antony Richard)
Hoare, Charles Antony Richard
Hoare, Charles A. R. 1934-
הואר, טוני, 1934-
VIAF ID: 108123782 ( Personal )
Permalink: http://viaf.org/viaf/108123782
Preferred Forms
- 100 0 _ ‡a Charles Antony Richard Hoare
-
-
-
-
- 100 1 _ ‡a Hoare, C. A. R. ‡q (Charles Antony Richard)
-
-
- 100 1 0 ‡a Hoare, C. A. R. ‡q (Charles Antony Richard), ‡d 1934-
-
-
-
- 100 1 _ ‡a Hoare, C. A. R. ‡q (Charles Antony Richard), ‡d 1934-
- 100 1 _ ‡a Hoare, C. A.R.
-
-
- 100 1 _ ‡a Hoare, Charles A. R. ‡d 1934-
-
-
- 100 1 _ ‡a Hoare, Charles Antony Richard, ‡d 1934-
- 100 1 _ ‡a Hoare, Charles Antony Richard, ‡d 1934-....
-
4xx's: Alternate Name Forms (70)
Works
Title | Sources |
---|---|
The axiomatic basis of computer programming | |
A classical mind, 1994: | |
Communicating sequential processes | |
Control flow and data flow : concepts of distributed programming | |
Cornerstones of computing | |
CSPモデルの理論 | |
The degree generation : the making of unequal graduate lives | |
Developments in concurrency and communication | |
Engineering theories of software construction | |
Essays in computing science | |
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 | |
The mathematics of programming : an inaugural lecture delivered before the University of Oxford on 17th October 1985 | |
Mechanized reasoning and hardware design | |
The microprocessor and its application : an advanced course | |
n84148204 | |
Operating systems techniques : proceedings of a seminar held at Queen's University, Belfast, 1971 | |
The origin of concurrent programming : from semaphores to remote procedure calls | |
Prentice Hall international series in computer science | |
Record handling : a series of lectures to be delivered at the NATO Summer School, Villard-de-Lans, September 12-16, 1966 | |
Scientific applications of multiprocessors | |
Shīesupī moderu no riron | |
The slide-rule and how to use it : containing full, easy, and simple instructions to perform all business calcurations with unexampled rapidity and accuracy | |
Software and systems safety : specification and verification | |
Software system reliability and security | |
Structured programming | |
Strukturált programozás | |
Symposium in Celebration of the work of C.A.R. Hoare, St. Catherine's College, Oxford, 13th-15th September, 1999 : <proceedings> | |
The theory of mathematical machines | |
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 : 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 / Federico Biancuzzi, Shane Warden. - Gliwice, cop. 2010. | |
Wielkie umysły programowania : jak myślą i pracują twórcy najważniejszych języków | |
Взаимодействующие последовательные процессы | |
Структурное программирование | |
構造化プログラミング |