por Diego Marmsoler, Meng Sun · Springer · tapa blanda · ISBN 9783031712609
IVA incluido
Garantía de calidad Hamelyn · revisado y verificado, o te devolvemos el dinero
«Formal Aspects of Component Software» es el libro de actas de la conferencia FACS 2024, editado por Diego Marmsoler y Meng Sun (Springer, tapa blanda).
El volumen reúne los trabajos seleccionados de la vigésima edición de la conferencia, centrados en el análisis formal del software de componentes. Los ocho textos tratan sobre verificación y pruebas, modelos formales y seguridad con blockchain, y muestran enfoques actuales para el diseño y la composición de sistemas de software.
Volumen 15189 de Lecture Notes in Computer Science; actas de la 20ª Conferencia Internacional FACS 2024, celebrada en Milán el 9 y 10 de septiembre de 2024.
Para investigadores y profesionales que trabajan con métodos formales, verificación de software y seguridad en blockchain.
