Prendi tre e paghi solo due con il coupon TRIPLOIT


IVA inclusa
* Tutti i nostri prodotti sono controllati con cura per promuovere una cultura sostenibile.
Ogni prodotto viene controllato, pulito e verificato prima della spedizione. Se non è quello che ti aspettavi, ti rimborsiamo.
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.
