Roland C. Backhouse

Pays :Grande-Bretagne
Langue :anglais
Note :
Enseignant à l'Université d'Essex (en 1989)
Autre forme du nom :Roland Carl Backhouse
ISNI :ISNI 0000 0001 0891 186X

Ses activités

Éditeur scientifique1 document

  • Algebraic and coalgebraic methods in the mathematics of program construction

    International summer school and workshop, Oxford, UK, April 10-14, 2000, revised lectures

    Description matérielle : 1 vol. (XIV-385 p.)
    Description : Note : Notes bibliogr.
    Édition : Berlin : Springer , cop. 2002
    Éditeur scientifique : Roy L. Crole, Jeremy Gibbons

    [catalogue][https://catalogue.bnf.fr/ark:/12148/cb38843845k]

Auteur du texte1 document

  • Construction et vérification de programmes

    Description matérielle : 276 p.
    Description : Note : Index
    Édition : Paris : Masson ; London : Prentice Hall , 1989

    [catalogue][https://catalogue.bnf.fr/ark:/12148/cb350116098]

Autre1 document

  • Generic programming

    advanced lectures

    Description matérielle : 1 online resource (ix, 221 pages)
    Description : Note : Based on material presented at a summer school on Generic Programming held August 2002 at the University of Oxford
    Includes bibliographical references and index
    Édition : Berlin ; New York : Springer-Verlag , cop. 2003

    [catalogue][https://catalogue.bnf.fr/ark:/12148/cb446905547]

Pages dans data.bnf.fr

Auteurs reliés

Cette page dans l'atelier

Sources et références

Voir dans le catalogue général de la BnF

Sources de la notice

  • Construction et vérification de programmes / Roland C. Backhouse, 1989
  • BLNA, 1990 : Backhouse, Roland C. (Roland Carl), 1948-
    LCNA, 1986 : Backhouse, Roland C., 1948-

Autre forme du nom

  • Roland Carl Backhouse

Pages équivalentes