Notice bibliographique

Notice

Type(s) de contenu et mode(s) de consultation : Texte noté : électronique

Auteur(s) : Araki, Keijiro Voir les notices liées en tant qu'auteur

Titre(s) : FME 2003 [Texte électronique] : Formal Methods : International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003. Proceedings / edited by Keijiro Araki, Stefania Gnesi, Dino Mandrioli

Publication : Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg : Springer e-books, 2003

Description matérielle : 1 online resource

Collection : Lecture Notes in Computer Science ; 2805

Note(s) : L'accès complet au document est possible pour les usagers de tous les établissements publics français (situés ou non sur le territoire français) ayant des missions d'enseignement supérieur et/ou de recherche, des établissements d'enseignement supérieur privés, des bibliothèques publiques

Autre(s) auteur(s) : Gnesi, Stefania (1954-....). Fonction indéterminée Voir les notices liées en tant qu'auteur
Mandrioli, Dino. Fonction indéterminée Voir les notices liées en tant qu'auteur

Sujet(s) : Génie logiciel Voir les notices liées en tant que sujet
Informatique Voir les notices liées en tant que sujet
Méthodes formelles (informatique) Voir les notices liées en tant que sujet
Langages de programmation Voir les notices liées en tant que sujet
Programmation (informatique) Voir les notices liées en tant que sujet
Logique mathématique Voir les notices liées en tant que sujet
Logiciels -- Développement Voir les notices liées en tant que sujet