Hoare, Charles Antony Richard (1934-....) Amélioration Assistance
059577576
Notice de type Personne

Forme retenue

Hoare, Charles Antony Richard (1934-....)

Forme rejetée

Hoare, C. A. R.
[Nom de personne]
Hoare, Tony
[Nom de personne]

Information

Langue d'expression : anglais

Source

Processus séquentiels communicants / C.A.R. Hoare ; traduit de l'anglais par Alain Kermarrec ; préface de E. Dijkstra, 1987


Structured Programming / O.-J. Dahl,... E. W. Dijkstra,... C. A. R. Hoare, 1972


http://authorities.loc.gov/, site consulté le 2010-04-26

Information trouvée :date de naissance (1934-01-11)


https://www.cs.ox.ac.uk/people/tony.hoare/, 2017-03-21

Information trouvée :Professeur émérite en informatique de l'université d'Oxford

Utilisation dans Rameau

La vedette peut être employée dans une vedette RAMEAU
La vedette ne peut s'employer qu'en tête de vedette

Notices bibliographiques liées :6 rôle(s)

070 Auteur ( 10 )
080 Préfacier, etc. ( 1 )
340 Editeur scientifique ( 7 )
651 Directeur de publication ( 1 )
730 Traducteur ( 1 )
990 Fonction non précisée ( 2 )



Auteur :

Rôles ?



123376610 : An axiomatic definition of the programming language PASCAL in programming languages / by C.A.R. Hoare and N. Wirth / Belfast : The Queen's University , 1972

015386007 : Structured programming / O.J. Dahl,... E.W. Dijkstra,... C.A.R. Hoare,.. / London : Academic press , 1972, cop. 1972

006890326 : The mathematics of programming : an inaugural lecture delivered before the University of Oxford on 17 October 1985 / by C.A.R. Hoare / Oxford : Clarendon Press , 1986

099462583 : The Laws of OCCAM programming / A.W. Roscoe, C.A.R. Hoare / Oxford : Oxford Univ. , 1986

046089276 : The mathematics of programming : an inaugural lecture delivered before the University of Oxford on 17th October 1985 / by C.A.R. Hoare / Oxford : Clarendon , 1986

001358847 : Processus séquentiels communicants [Texte imprimé] / C.A.R. Hoare,... ; traduit de l'anglais par Alain Kermarrec... ; préface de E. Dijkstra / Paris : Masson , 1987, cop. 1987

099288400 : Essays in computing science [Texte imprimé] / C.A.R. Hoare ; ed. C.B. Jones / New York : Prentice Hall , 1989

07281635X : Unifying theories of programming [Texte imprimé] / C.A.R. Hoare and He Jifeng / London : Prentice Hall , 1998

026043890 : Communicating sequential processes [Texte imprimé] / C. A. R. Hoare / Englewood Cliffs, New Jersey [etc.] : Prentice/Hall International , cop. 1985

099461471 : The Laws of occam programming [Texte imprimé] / Andrew William Roscoe, Charles Antoine Richard Hoare / Oxford : Oxford University Computing Laboratory , cop. 1986



Préfacier, etc. :

Rôles ?



013130811 : VDM [Texte imprimé] : une méthode rigoureuse pour le développement du logiciel / Cliff B. Jones,... ; traduction de la 2e édition par Michel Lemoine ; préface de C.A.R. Hoare / Paris : Masson , 1993



Editeur scientifique :

Rôles ?



005491525 : Operating systems techniques [Texte imprimé] : proceedings of a seminar held at Queen's university, Belfast, [30 August-3 September] 1971 / edited by C.A.R. Hoare, R.H. Perrott,... / London : Academic press , 1972, cop. 1972

099403900 : Scientific applications of multiprocessors : a discussion / MEETING ON SOLVING SCIENTIFIC PROBLEMS ON MULTIPROCESSORS / Englewood Cliffs, NJ : Prentice Hall , 1989

099383004 : Developments in concurrency and communication / [YoP Institute concurrent programming 23 February-6 March 1987, University of Texas at Austin] ; ed. by C.A.R. Hoare / Reading, MA : Addison-Wesley , 1990

15516936X : VDM '90 VDM and Z — Formal Methods in Software Development : Third International Symposium of VDM Europe Kiel, FRG, April 17–21, 1990 Proceedings / edited by D. Bjørner, C. A. R. Hoare, H. Langmaack. / Berlin, Heidelberg : Springer-Verlag , 2005

155211307 : Language Hierarchies and Interfaces : International Summer School / edited by Friedrich L. Bauer, E. W. Dijkstra, A. Ershov, M. Griffiths, C. A. R. Hoare, W. A. Wulf, Klaus Samelson. / Berlin, Heidelberg : Springer-Verlag , 2005

02561147X : Occam programming manual [Texte imprimé] / INMOS Limited / Englewood Cliffs, NJ : Prentice-Hall International , cop.1984

028441788 : Mathematical logic and programming languages [Texte imprimé] / edited by C.A.R. Hoare and J.C. Shepherdson / Englewood Cliffs, N.J. : Prentice/Hall International , cop.1985



Directeur de publication :

Rôles ?



019789939 : Control flow and data flow [Texte imprimé] : concepts of distributed programming / international summer school directed by F.L. Bauer, E.W. Dijkstra, C.A.R. Hoare ; edited by Manfred Broy / Berlin : Springer-Verlag , cop. 1986



Traducteur :

Rôles ?



01177939X : The theory of mathematical machines [Texte imprimé] / ed. by Yu. Ya. Bazilevskii ; translated from the russian by C.A.R. Hoare ; translation edited by J.M. Jackson / Oxford : Pergamon press , 1963



Fonction non précisée :

Rôles ?



099264684 : Mechanized reasoning and hardware design / edited by C. A. R. Hoare and M. J. C. Gordan / New York : Prentice Hall , 1992

021488134 : VDM '90 : VDM and Z : formal methods in software development : Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990 proceedings / D. Bjørner, C.A.R. Hoare, H. Langmaack (eds.) / Berlin : Springer-Verlag , c1990


A propos Partenaires Conditions Générales d'Utilisation (CGU) Assistance