por Diego Marmsoler, Meng Sun · Springer · tapa blanda · ISBN 9783031712609
IVA incluído
Garantia de qualidade Hamelyn · revisto e verificado, ou devolvemos o dinheiro
«Formal Aspects of Component Software» é o livro de anais da conferência FACS 2024, editado por Diego Marmsoler e Meng Sun (Springer, brochura).
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; anais da 20ª Conferência Internacional FACS 2024, realizada em Milão em 9 e 10 de setembro de 2024.
Para pesquisadores e profissionais que trabalham com métodos formais, verificação de software e segurança em blockchain.
