Emporta't tres i paga'n només dos amb el cupó TRIPLECAT
per Diego Marmsoler, Meng Sun · Springer · tapa blanda · ISBN 9783031712609
IVA inclòs
* Tots els nostres productes són revisats curosament per fomentar la cultura sostenible.
Cada producte es revisa, neteja i verifica abans d'enviar-lo. Si no és el que esperaves, et retornem els diners.
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.
