International conference on the mathematics of program construction (02 ; 1992 ; Oxford, GB)

Création :29-06-1992
Fin d'activité :03-07-1992

Ses activités

Auteur du texte1 document

  • Mathematics of program construction

    second International conference, Oxford, U.K., June 29 - July 3, 1992, proceedings

    Description matérielle : VIII-378 p.
    Description : Note : Bibliogr. à la fin de chaque chap.
    Édition : Berlin ; New York : Springer , cop. 1993
    Éditeur scientifique : Richard Simpson Bird, Charles Carroll Morgan, Jim Woodcock

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

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

  • Mathematics of program construction, 1993
  • LCNA (CD OCLC), 1995-03

Pages équivalentes