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 : indéterminée

Source

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)


http://www.lcauth.dra.com

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 :7rôle(s)

000 Code de fonction non reconnu ( 1 )
070 Auteur ( 10 )
080 Préfacier, etc. ( 1 )
340 Editeur scientifique ( 6 )
651 Directeur de publication ( 1 )
730 Traducteur ( 1 )
990 Fonction non précisée ( 3 )



Code de fonction non reconnu :

Rôles ?



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



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 [Texte imprimé] / O.J. Dahl,... E.W. Dijkstra,... C.A.R. Hoare,.. / London : Academic press , 1972, cop. 1972

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

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

001358847 : Processus séquentiels communicants [Texte imprimé] / C.A.R. Hoare,... ; traduit de l'anglais par Alain Kermarrec... / 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, N.J. : 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

013591568 : Prentice Hall international series in computer science [Texte imprimé] / ed. C.A.R. Hoare / New York : Prentice Hall , 19XX-....

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 ?



155211307 : Language Hierarchies and Interfaces [Ressource électronique] : 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 , 1976

15516936X : VDM '90 VDM and Z — Formal Methods in Software Development [Ressource électronique] : 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 , 1990

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


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