por Marco Bernardo, Paola Inverardi · Springer · tapa blanda · ISBN 9783540200833
IVA incluído
Garantia de qualidade Hamelyn · revisto e verificado, ou devolvemos o dinheiro
«Formal Methods for Software Architectures» é o volume de conferências editado por Marco Bernardo e Paola Inverardi, em brochura, publicado pela Springer.
A arquitetura de software tornou-se central no desenvolvimento de sistemas complexos, aplicando-se desde a análise de requisitos até a execução. Este volume reúne conferências tutoriais sobre métodos formais: modelagem e análise de componentes e conectores, montagem correta, evolução, computação móvel, desempenho e dependabilidade.
Volume 2804 da série Lecture Notes in Computer Science. Corresponde à Terceira Escola Internacional SFM 2003, realizada em Bertinoro (Itália) em setembro de 2003.
Pensado para estudantes de cursos avançados de arquitetura de software e para engenheiros que empregam técnicas formais em seu trabalho diário.
