Hoare, C.A.R. (Charles Antony Richard), 1934-
Hoare, Charles Antony Richard, 1934-....
Hoare, C.A.R. 1934-
Hoare, Charles A. R. 1934-
Charles Antony Richard Hoare
Hoare, C. A.R.
Hoare, C. A. R. (Charles Antony Richard)
Hoare, Charles Antony Richard
×××ר, ××× ×, 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 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 (72)
Works
Title | Sources |
---|---|
The axiomatic basis of computer programming |
![]() ![]() |
A classical mind, 1994: |
![]() ![]() ![]() ![]() |
Communicating sequential processes |
![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() |
Concurrent and Distributed Systems |
![]() |
A contribution to the development of ALGOL |
![]() |
Control flow and data flow : concepts of distributed programming |
![]() |
Cornerstones of computing |
![]() |
CSPã¢ãã«ã®çè« |
![]() |
Data corruption |
![]() |
The degree generation : the making of unequal graduate lives |
![]() |
Developments in concurrency and communication |
![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() |
Edsger Wybe Dijkstra |
![]() |
The emperor's old clothes |
![]() |
Engineering theories of software construction |
![]() ![]() ![]() ![]() |
Essays in computing science |
![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() |
How Did Software Get So Reliable Without Proof? |
![]() |
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 |
![]() |
Monitors: an operating system structuring concept |
![]() |
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 |
![]() ![]() |
Programming: Sorcery or Science? |
![]() |
Proof of a program: FIND |
![]() |
Proof of correctness of data representations |
![]() |
The quality of software |
![]() |
Quicksort |
![]() |
Record handling : a series of lectures to be delivered at the NATO Summer School, Villard-de-Lans, September 12-16, 1966 |
![]() |
Recursive data structures |
![]() |
Scientific applications of multiprocessors |
![]() ![]() ![]() ![]() |
ShiÌesupiÌ 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> |
![]() ![]() |
TeorÃas unificadas de la programación |
![]() |
The theory of mathematical machines |
![]() ![]() |
A Tree Semantics of an Orchestration Language |
![]() |
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 meÌthode rigoureuse pour le deÌveloppement du logiciel |
![]() ![]() |
ViewpointRetrospective |
![]() |
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 |
![]() |
ÐзаимодейÑÑвÑÑÑие поÑледоваÑелÑнÑе пÑоÑеÑÑÑ |
![]() ![]() |
СÑÑÑкÑÑÑное пÑогÑаммиÑование |
![]() |
ããã°ã©ãã³ã°ã®çµ±ä¸çè« |
![]() |
æ§é åããã°ã©ãã³ã° |
![]() ![]() |
ç·¨ç¨ççµ±ä¸çè« |
![]() |