Formal Methods for Software Architectures
por Marco Bernardo, Paola Inverardi · Springer · tapa blanda · ISBN 9783540200833
3,9
6 pessoas a ver istoVisto 5 vezes
-
IVA incluído
Envio GRÁTIS · chega a 29 de out
Devolução grátis em 30 dias
Paga com:
Ofertas disponíveis por estado
Garantia de qualidade Hamelyn · revisto e verificado, ou devolvemos o dinheiro
Detalhes do produto
Autor: Marco Bernardo, Paola Inverardi
ISBN: 9783540200833
Editora: Springer
Idioma: Inglês
Formato: tapa blanda
Data de publicação: 12/09/2003
Páginas: 296 pág
Dimensões: 23.5 x 15.5 x 1.7 cm
Peso: 227 g
Sinopse de Formal Methods for Software Architectures
«Formal Methods for Software Architectures» é o volume de conferências editado por Marco Bernardo e Paola Inverardi, em brochado, publicado pela Springer.
A arquitetura de software tornou-se central no desenvolvimento de sistemas complexos, aplicando-se desde a análise de requisitos até à execução. Este volume reúne conferências tutoriais sobre métodos formais: modelação 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 no seu trabalho diário.
Mais títulos para quem leu Formal Methods for Software Architectures de Marco Bernardo
Recomendado por Julia
Livros mais vendidos de Engenharia de Software
Mais vendidos
Última unidade!5 pessoas têm-no no carrinho
-
IVA incluído