Neem er drie mee en betaal er maar twee met kortingscode DRIEVOUDIG
Inclusief btw
* Al onze producten worden zorgvuldig gecontroleerd om duurzame cultuur te bevorderen.
Elk product wordt gecontroleerd, schoongemaakt en geverifieerd vóór verzending. Als het niet is wat je verwachtte, betalen we je geld terug.
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.
