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

Auteur(s) : Formal methods Europe. International symposium (12 ; 2003 ; Pise, Italie)  Voir les notices liées en tant qu'auteur

Titre(s) : FME 2003 [Texte imprimé] : formal methods : International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003 : proceedings / Keijiro Araki, Stefania Gnesi, Dino Mandrioli, eds

Publication : Berlin : Springer, cop. 2003

Description matérielle : XVII-942 p. : ill. ; 24 cm

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

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) : Araki, Keijiro. Éditeur scientifique  Voir les notices liées en tant qu'auteur
Gnesi, Stefania (1954-....). Éditeur scientifique  Voir les notices liées en tant qu'auteur
Mandrioli, Dino. É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
Logiciels -- Développement  Voir les notices liées en tant que sujet
Systèmes, Conception de  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.101 (23e éd.) = Développement de logiciels - Philosophie et théorie  Voir les notices liées en tant que sujet

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

Identifiant de la notice  : ark:/12148/cb39084683d

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