por Diego Marmsoler, Meng Sun · Springer · pasta blanda · ISBN 9783031712609
IVA incluido
Garantía Hamelyn
Si llega dañado o no es lo que pediste, te devolvemos el dinero.
Más de 30,000 productos enviados a México
OXXO
Garantía de calidad Hamelyn · revisado y verificado, o te devolvemos el dinero
Enviamos a CDMX, Guadalajara, Monterrey, Tijuana, Mérida, Puebla y todo el país.
«Formal Aspects of Component Software» es el libro de actas de la conferencia FACS 2024, editado por Diego Marmsoler y Meng Sun (Springer, pasta 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.
