Type(s) de contenu et mode(s) de consultation : Texte noté : sans médiation

Auteur(s) : International conference on the mathematics of program construction (02 ; 1992 ; Oxford, GB)  Voir les notices liées en tant qu'auteur

Titre(s) : Mathematics of program construction [Texte imprimé] : second International conference, Oxford, U.K., June 29 - July 3, 1992, proceedings / R. S. Bird, C. C. Morgan, J. C. P. Woodcock, eds.

Publication : Berlin ; New York : Springer, cop. 1993

Description matérielle : VIII-378 p. : ill. ; 24 cm

Collection : Lecture notes in computer science ; 669

Lien à la collection : Lecture notes in computer science  Voir toutes les notices liées

Note(s) : Bibliogr. à la fin de chaque chap.

Autre(s) auteur(s) : Bird, Richard Simpson (1943-....). Éditeur scientifique  Voir les notices liées en tant qu'auteur
Morgan, Charles Carroll (1952-....). Éditeur scientifique  Voir les notices liées en tant qu'auteur
Woodcock, Jim (1956-....). Éditeur scientifique  Voir les notices liées en tant qu'auteur

Sujet(s) : Programmation (informatique) -- Mathématiques  Voir les notices liées en tant que sujet

Genre ou forme : Actes de congrès  Voir les notices liées en tant que genre ou forme

Indice(s) Dewey :  005.131 (23e éd.) = Logique symbolique (informatique)  Voir les notices liées en tant que sujet

Identifiants, prix et caractéristiques : ISBN 3-540-56625-2 (Berlin). - ISBN 0-387-56625-2 (New York) (br.)

Identifiant de la notice  : ark:/12148/cb37462066p

Notice n° :  FRBNF37462066