Llévate tres y paga solo dos con el cupón TRIPLE
IVA incluido
* Todos nuestros productos son revisados cuidadosamente para fomentar la cultura sostenible.
Cada producto se revisa, limpia y verifica antes de enviarlo. Si no es lo que esperabas, te devolvemos el dinero.
ISBN: 9783031712609
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.
