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

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

Titre(s) : Mathematics of program construction [Texte imprimé] : 7th international conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004 : proceedings / Dexter Kozen, editor

Publication : Berlin ; Paris : Springer, cop. 2004

Description matérielle : 1 vol. (X-399 p.) : ill. ; 24 cm

Collection : Lecture notes in computer science, ISSN 0302-9743 ; 3125

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

Note(s) : Notes bibliogr.

Autre(s) auteur(s) : Kozen, Dexter C.. Éditeur scientifique  Voir les notices liées en tant qu'auteur

Sujet(s) : Programmation (informatique)  Voir les notices liées en tant que sujet
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.1 (23e éd.) = Développement de logiciels  Voir les notices liées en tant que sujet

Identifiants, prix et caractéristiques : ISBN 3-540-22380-0 (br.)

Identifiant de la notice  : ark:/12148/cb39997815z

Notice n° :  FRBNF39997815 (notice reprise d'un réservoir extérieur)