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

Auteur(s) : Formal methods Europe. International symposium (03 ; 1996 ; Oxford, GB)  Voir les notices liées en tant qu'auteur

Titre(s) : FME '96, industrial benefit and advances in formal methods [Texte imprimé] : third International Symposium of Formal Methods Europe co-sponsored by IFIP WG 14.3, Oxford, UK, March 18-22, 1996 : proceedings / Marie-Claude Gaudel, James Woodcock, eds

Publication : Berlin : Springer, cop. 1996

Description matérielle : XII-704 p. : ill. ; 24 cm

Collection : Lecture notes in computer science ; 1051

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

Note(s) : Bibliogr. en fin de chapitre. Index

Autre(s) auteur(s) : Gaudel, Marie-Claude (1946-....). É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) : Méthodes formelles (informatique)  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

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

Identifiant de la notice  : ark:/12148/cb390848651

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