Formal Aspects of Component Software
3,8
por Diego Marmsoler, Meng Sun · Springer · tapa blanda · ISBN 9783031712609
-
IVA incluido
- Envío Gratis
- Devolución gratis 30 días
¡Última unidad!4 personas lo tienen en su carrito
Métodos de pago disponibles
Más de 2 millones de productos vendidos
Y más de 800.000 títulos en stock
Ofertas disponibles por estado
Garantía de calidad Hamelyn · revisado y verificado, o te devolvemos el dinero
Detalles del producto
Autor: Diego Marmsoler, Meng Sun
ISBN: 9783031712609
Editorial: Springer
Idioma: Inglés
Formato: tapa blanda
Publicación: 17/10/2024
Páginas: 138 pag
Dimensiones: 23.4 x 15.6 x 0.9 cm
Peso: 245 g
Categoría: Ingeniería del software
Sinopsis de Formal Aspects of Component Software
«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.
Más títulos para quienes han leído Formal Aspects of Component Software de Diego Marmsoler
Recomendado por Julia
Libros más vendidos de Ingeniería del software
Más vendidos
Android: programación de dispositivos móviles a través de ejemplos
Tapa blanda
9,82€21,28€
2 ofertas disponibles
