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

Auteur(s) : Formal methods Europe. International symposium (2002 ; Copenhague)  Voir les notices liées en tant qu'auteur

Titre(s) : FME 2002, formal methods--getting IT right [Texte imprimé] : International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 : proceedings / Lars-Henrik Eriksson, Peter Alexander Lindsay (eds.)

Publication : Berlin : Springer, cop. 2002

Description matérielle : XI-624 p. : ill. ; 24 cm

Collection : Lecture notes in computer science ; 2391

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) : Eriksson, Lars-Henrik. Éditeur scientifique  Voir les notices liées en tant qu'auteur
Lindsay, Peter Alexander. É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

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-43928-5 (br.)

Identifiant de la notice  : ark:/12148/cb39084671d

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