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 (13e ; 2013 ; Bertinoro, Italie)  Voir les notices liées en tant qu'auteur

Titre(s) : Formal methods for dynamical systems [Texte électronique] : 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced lectures / Marco Bernardo ... [et al.] (eds.)

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

Description matérielle : 1 online resource (1 texte électronique)

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

Note(s) : Titre de l'écran-titre (visionné le 9 juillet 2013)

Autre(s) auteur(s) : Bernardo, Marco. Fonction indéterminée  Voir les notices liées en tant qu'auteur

Autre(s) forme(s) du titre : 
- Autre forme du titre : SFM 2013

Sujet(s) : Génie logiciel  Voir les notices liées en tant que sujet
Informatique  Voir les notices liées en tant que sujet
Structure logique  Voir les notices liées en tant que sujet
Bioinformatique  Voir les notices liées en tant que sujet

Indice(s) Dewey :  004.015 1 (23e éd.) = Informatique - Principes mathématiques  Voir les notices liées en tant que sujet ; 005.1 (23e éd.) = Développement de logiciels  Voir les notices liées en tant que sujet

Identifiants, prix et caractéristiques : ISBN 9783642388743

Identifiant de la notice  : ark:/12148/cb44707300r

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