Actuellement indisponible.
Nous ne savons pas quand cet article sera de nouveau approvisionné ni s'il le sera.
Vous l'avez déjà ?
Repliez vers l'arrière Repliez vers l'avant
Ecoutez Lecture en cours... Interrompu   Vous écoutez un extrait de l'édition audio Audible
En savoir plus
Voir les 2 images

[(Formal Methods for Components and Objects: 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011 : Revised Selected Papers )] [Author: Bernhard Beckert] [Jan-2013] (Anglais) Broché – 3 janvier 2013


Voir les 2 formats et éditions Masquer les autres formats et éditions
Prix Amazon Neuf à partir de Occasion à partir de
Broché, 3 janvier 2013

Cahiers de vacances pour toutes les classes de la maternelle au lycée Cahiers de vacances pour toutes les classes de la maternelle au lycée


Offres spéciales et liens associés


Descriptions du produit

Formal Methods for Components and Objects Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design for some time. However, their application to the development of large systems requires more emphasis on specification, modeling, and validation techniques supporting the concepts of reusability and modifiability, and their implementation in new extensions of existing programming languages like Java. This book contains 20 revised papers submitted after the 10th Symposium on Formal Methods for Components and Objects, FMCO 2011, which was held in Turin, Italy, in October 2011. Topics covered include autonomic service-component ensembles; t...


Détails sur le produit


Dans ce livre (En savoir plus)
Parcourir et rechercher une autre édition de ce livre.
Parcourir les pages échantillon
Couverture | Copyright | Table des matières | Extrait | Index
Rechercher dans ce livre:

Commentaires en ligne

Il n'y a pour l'instant aucun commentaire client.
5 étoiles
4 étoiles
3 étoiles
2 étoiles
1 étoiles

Rechercher des articles similaires par rubrique


Commentaires

Souhaitez-vous compléter ou améliorer les informations sur ce produit ? Ou faire modifier les images?