Leve três e pague apenas dois com o cupão TRIPLOPT
por Diego Marmsoler, Meng Sun · Springer · tapa blanda · 138 pág
* Todos os nossos produtos são revisados cuidadosamente para promover uma cultura sustentável.
Cada produto é revisto, limpo e verificado antes do envio. Se não for o que esperava, devolvemos o dinheiro.
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.
