Prenez-en trois et n'en payez que deux avec le coupon TRIPLEFR
TVA incluse
* Tous nos produits sont soigneusement vérifiés pour favoriser une culture durable.
Chaque produit est inspecté, nettoyé et vérifié avant l'expédition. S'il ne correspond pas à vos attentes, nous vous remboursons.
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.
