Leve três e pague apenas dois com o cupão TRIPLE
Formal Aspects of Component Software
3,8
ISBN | 9783031712609
Tecnología
Formal Aspects of Component Software
3,8
ISBN | 9783031712609
Tecnología
Ofertas disponíveis por estado
* Todos os nossos produtos são revisados cuidadosamente para promover uma cultura sustentável.
Detalhes do produto
Páginas: 138 pág
Autor: Diego Marmsoler, Meng Sun
Editora: Springer
ISBN: 9783031712609
Formato: tapa blanda
Idioma: en
Data de publicação: 17/10/2024
ISBN: 9783031712609
Sinopse de Formal Aspects of Component Software
Este libro presenta las actas de la 20ª Conferencia Internacional sobre Aspectos Formales del Software de Componentes, FACS 2024, celebrada en Milán, Italia, del 9 al 10 de septiembre de 2024. Los 7 artículos completos y 1 artículo corto incluidos en este libro fueron cuidadosamente revisados y seleccionados de 16 presentaciones. Están organizados en secciones temáticas de la siguiente manera: verificación y pruebas, modelos formales y seguridad y blockchain. Este libro es un recurso valioso para investigadores y profesionales interesados en los aspectos formales del software de componentes.
Mais títulos para quem procura Diego Marmsoler, Meng Sun
Recomendado por Julia
