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

Auteur(s) : International School on Formal Methods for the Design of Computer, Communication, and Software Systems (16. ; 2016 ; Bertinoro)  Voir les notices liées en tant qu'auteur

Titre(s) : Formal methods for the quantitative evaluation of collective adaptive systems [Texte électronique] : 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, advanced lectures / Marco Bernardo, Rocco De Nicola, Jane Hillston (eds.)

Publication : [Cham] : Springer, [2016]

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

Collection : Lecture notes in computer science ; 9700

Autre(s) auteur(s) : Bernardo, Marco (1970-....). Éditeur scientifique  Voir les notices liées en tant qu'auteur
De Nicola, Rocco. Éditeur scientifique  Voir les notices liées en tant qu'auteur
Hillston, Jane (1963-....). Éditeur scientifique  Voir les notices liées en tant qu'auteur

Identifiants, prix et caractéristiques : ISBN 9783319340968

Identifiant de la notice  : ark:/12148/cb44681138x

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