Prenez-en trois et n'en payez que deux avec le coupon TRIPLE
Formal Methods for Software Architectures
3,9
TecnologíaISBN | 9783540200833
-
TVA incluse
Livraison GRATUITE
Retour gratuit sous 30 jours
Payer avec :
Offres disponibles par état
L'état Neuf n'est expédié qu'en France, avec livraison gratuite à partir de 15 €. Les autres états bénéficient toujours de la livraison gratuite, sans minimum d'achat.
* Tous nos produits sont soigneusement vérifiés pour favoriser une culture durable.
Garantie qualité Hamelyn
Chaque produit est inspecté, nettoyé et vérifié avant l'expédition. S'il ne correspond pas à vos attentes, nous vous remboursons.
Détails du produit
Pages: 296 pages
Auteur: Marco Bernardo, Paola Inverardi
Éditeur: Springer
ISBN: 9783540200833
Format: tapa blanda
Langue: en
Date de publication: 12/9/2003
ISBN: 9783540200833
Synopsis de Formal Methods for Software Architectures
Este libro presenta las conferencias tutoriales impartidas por autoridades líderes en la Tercera Escuela Internacional sobre Métodos Formales para el Diseño de Sistemas Informáticos, de Comunicación y de Software, SFM 2003, celebrada en Bertinoro, Italia, en septiembre de 2003. El libro es ideal para cursos avanzados sobre arquitectura de software, así como para la formación continua de ingenieros de software que utilizan métodos formales en su trabajo profesional diario. En los últimos diez años, la arquitectura de software se ha convertido en una noción central en el desarrollo de sistemas de software complejos. La arquitectura de software es ahora aceptada en la comunidad de investigación y desarrollo de ingeniería de software como una abstracción manejable y significativa del sistema en desarrollo y se aplica a lo largo del ciclo de vida del desarrollo de software, desde el análisis y la validación de los requisitos hasta el diseño y hasta el nivel de código y ejecución.
Plus de titres pour les fans de Marco Bernardo, Paola Inverardi
Recommandé par Julia
Dernière unité !5 personnes l'ont dans leur panier
-
TVA incluse