Formal Methods for Software Architectures
3,9
por Marco Bernardo, Paola Inverardi · Springer · tapa blanda · ISBN 9783540200833
-
IVA incluido
- Envío Gratis
- Devolución gratis 30 días
¡Última unidad!5 personas lo tienen en su carrito
Métodos de pago disponibles
Más de 2 millones de productos vendidos
Y más de 800.000 títulos en stock
Ofertas disponibles por estado
Garantía de calidad Hamelyn · revisado y verificado, o te devolvemos el dinero
Detalles del producto
Autor: Marco Bernardo, Paola Inverardi
ISBN: 9783540200833
Editorial: Springer
Idioma: Inglés
Formato: tapa blanda
Publicación: 12/9/2003
Páginas: 296 pag
Dimensiones: 23.5 x 15.5 x 1.7 cm
Peso: 227 g
Categoría: Ingeniería del software
Sinopsis de Formal Methods for Software Architectures
«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.
Más títulos para quienes han leído Formal Methods for Software Architectures de Marco Bernardo
Recomendado por Julia
Libros más vendidos de Ingeniería del software
Más vendidos
