Formal Methods for Software Architectures
par Marco Bernardo, Paola Inverardi · Springer · tapa blanda · ISBN 9783540200833
3,9
5 personnes voient ceciVu 4 fois
-
TVA incluse
Livraison GRATUITE · arrive le 28 oct
Retour gratuit sous 30 jours
Payer avec :
Offres disponibles par état
Garantie qualité Hamelyn · vérifié et contrôlé, ou remboursé
Détails du produit
Auteur: Marco Bernardo, Paola Inverardi
ISBN: 9783540200833
Éditeur: Springer
Langue: Anglais
Format: tapa blanda
Date de publication: 12/09/2003
Pages: 296 pages
Dimensions: 23.5 x 15.5 x 1.7 cm
Poids: 227 g
Synopsis de Formal Methods for Software Architectures
«Formal Methods for Software Architectures» est le volume de conférences édité par Marco Bernardo et Paola Inverardi, en couverture souple, publié par Springer.
L'architecture logicielle est devenue centrale dans le développement de systèmes complexes, appliquée de l'analyse des exigences à l'exécution. Ce volume rassemble des conférences tutoriels sur les méthodes formelles : modélisation et analyse de composants et connecteurs, assemblage correct, évolution, informatique mobile, performance et fiabilité.
Volume 2804 de la série Lecture Notes in Computer Science. Correspond à la Troisième École Internationale SFM 2003, tenue à Bertinoro (Italie) en septembre 2003.
Conçu pour les étudiants de cours avancés d'architecture logicielle et pour les ingénieurs qui utilisent des techniques formelles dans leur travail quotidien.
Plus de titres pour ceux qui ont lu Formal Methods for Software Architectures de Marco Bernardo
Recommandé par Julia
Livres les plus vendus en Génie logiciel
Meilleures ventes
Dernière unité !5 personnes l'ont dans leur panier
-
TVA incluse