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

Auteur(s) : International Symposium of Formal Methods Europe (18 ; 2012 ; Paris, France)  Voir les notices liées en tant qu'auteur

Titre(s) : FM 2012 [Texte électronique] : formal methods : 18th International Symposium, Paris, France, August 27-31, 2012 : proceedings / Dimitra Giannakopoulou, Dominique Méry (eds.)

Publication : Berlin ; New York : Springer, cop. 2012

Description matérielle : 1 ressource dématérialisée

Collection : Lecture notes in computer science ; 7436
LNCS sublibrary. SL 2, Programming and software engineering

Note(s) : Includes bibliographical references and author index

Indice(s) Dewey :  005.101 5113 (23e éd.) = Développement de logiciels - Logique mathématique  Voir les notices liées en tant que sujet

Identifiants, prix et caractéristiques : ISBN 9783642327599

Identifiant de la notice  : ark:/12148/cb447053844

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