Derek Allum

Langue :anglais
Note :
En poste à University of Luton, Luton, GB (en 1994)
ISNI :ISNI 0000 0000 0193 6418

Ses activités

Auteur du texte1 document

  • Introductory logic and formal methods

    Description matérielle : 224 p.
    Description : Note : Bibliogr. p. 214. Index
    Édition : Henley-on-Thames : A. Waller , 1994
    Auteur du texte : Lynne Dunckley, David Heath

    [catalogue][http://catalogue.bnf.fr/ark:/12148/cb37451612z]

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

  • Introductory logic and formal methods / Davis Heath, Derek Allum, Lynne Dunckley, 1994

Pages équivalentes