por Marco Bernardo, Paola Inverardi · Springer · tapa blanda · ISBN 9783540200833
IVA incluido
Garantía de calidad Hamelyn · revisado y verificado, o te devolvemos el dinero
«Formal Methods for Software Architectures» es el volumen de conferencias editado por Marco Bernardo y Paola Inverardi, en tapa blanda, publicado por Springer.
La arquitectura de software se ha vuelto central en el desarrollo de sistemas complejos, aplicándose desde el análisis de requisitos hasta la ejecución. Este volumen reúne conferencias tutoriales sobre métodos formales: modelado y análisis de componentes y conectores, ensamblado correcto, evolución, computación móvil, rendimiento y dependabilidad.
Volumen 2804 de la serie Lecture Notes in Computer Science. Corresponde a la Tercera Escuela Internacional SFM 2003, celebrada en Bertinoro (Italia) en septiembre de 2003.
Pensado para estudiantes de cursos avanzados de arquitectura de software y para ingenieros que emplean técnicas formales en su trabajo diario.
