Formal Aspects of Component Software
por Diego Marmsoler, Meng Sun · Springer · tapa blanda · ISBN 9783031712609
3,8
10 pessoas a ver istoVisto 2 vezes
-
IVA incluído
Envio GRÁTIS · chega a 30 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: Diego Marmsoler, Meng Sun
ISBN: 9783031712609
Editora: Springer
Idioma: Inglês
Formato: tapa blanda
Data de publicação: 17/10/2024
Páginas: 138 pág
Dimensões: 23.4 x 15.6 x 0.9 cm
Peso: 245 g
Sinopse de Formal Aspects of Component Software
«Formal Aspects of Component Software» é o livro de atas da conferência FACS 2024, editado por Diego Marmsoler e Meng Sun (Springer, brochado).
O volume reúne os trabalhos selecionados da vigésima edição da conferência, centrados na análise formal do software de componentes. Os oito textos tratam de verificação e testes, modelos formais e segurança com blockchain, e mostram abordagens atuais para o design e a composição de sistemas de software.
Volume 15189 de Lecture Notes in Computer Science; atas da 20.ª Conferência Internacional FACS 2024, realizada em Milão a 9 e 10 de setembro de 2024.
Para investigadores e profissionais que trabalham com métodos formais, verificação de software e segurança em blockchain.
Mais títulos para quem leu Formal Aspects of Component Software de Diego Marmsoler
Recomendado por Julia
Livros mais vendidos de Engenharia de Software
Mais vendidos
Última unidade!4 pessoas têm-no no carrinho
-
IVA incluído