Llévate tres y paga solo dos con el cupón TRIPLE
por Diego Marmsoler, Meng Sun · Springer · tapa blanda · 138 pag
* 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.
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.
