Deri Sheppard

Pays :Grande-Bretagne
Langue :anglais
Note :
Professeur d'informatique à l'Université de Glamorgan, GB (en 1995)
ISNI :ISNI 0000 0000 4246 4533

Ses activités

Auteur du texte1 document

  • An introduction to formal specification with Z and VDM

    Description matérielle : XVII-398 p.
    Description : Note : Bibliogr. p. 390-392. Index
    Édition : London ; New York ; Paris [etc.] : McGraw-Hill , cop. 1995

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

Pages dans data.bnf.fr

Cette page dans l'atelier

Sources et références

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

Sources de la notice

  • An introduction to formal specification with Z and VDM / Deri Sheppard, 1995
  • BLNA, 1996-10

Pages équivalentes