Prendi tre e paghi solo due con il coupon TRIPLE
Formal Aspects of Component Software
3,8
ISBN | 9783031712609
Tecnología
Formal Aspects of Component Software
3,8
ISBN | 9783031712609
Tecnología
Offerte disponibili per stato
* Tutti i nostri prodotti sono controllati con cura per promuovere una cultura sostenibile.
Dettagli del prodotto
Pagine: 138 pag
Autore: Diego Marmsoler, Meng Sun
Editore: Springer
ISBN: 9783031712609
Formato: tapa blanda
Lingua: en
Data di pubblicazione: 17/10/2024
ISBN: 9783031712609
Sinossi di Formal Aspects of Component Software
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.
Altri titoli per chi cerca Diego Marmsoler, Meng Sun
Consigliato da Julia
