Formal Aspects of Component Software
Diego Marmsoler, Meng Sun
ISBN 10: 3031712609 ISBN 13: 9783031712609
Editore: Springer, 2024
Usato
Brossura
Da
Hamelyn, Madrid, M, Spagna
Valutazione del venditore 4 su 5 stelle
Venditore AbeBooks dal 18 luglio 2022
Questo articolo specifico non è più disponibile.
Riguardo questo articolo
Descrizione:
: 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. EAN: 9783031712609 Tipo: Libros Categoría: Tecnología Título: Formal Aspects of Component Software Autor: Diego Marmsoler| Meng Sun Editorial: Springer Idioma: en Páginas: 138 Formato: tapa blanda. Codice articolo Happ-2025-10-24-cb88b013
Riassunto:
This book constitutes the refereed proceedings of the 20th International Conference on Formal Aspects of Component Software, FACS 2024, held in Milan, Italy, during September 9-10, 2024.
The 7 full papers and 1 short paper included in this book were carefully reviewed and selected from 16 submissions. They are organized in topical sections as follows: verification and testing, formal models, and security and blockchain.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Dati bibliografici
Titolo: Formal Aspects of Component Software
Casa editrice: Springer
Data di pubblicazione: 2024
Legatura: Brossura
Condizione: Muy bueno