La cultura nos hace libres — Celebremos la lectura
Formal Aspects of Component Software
18 personas viendo esto
Visto 1 veces
4,7*****(112 valoraciones)
ISBN | 9783031712609
Tecnología
Formal Aspects of Component Software
18 personas viendo esto
Visto 1 veces
4,7*****(112 valoraciones)
ISBN | 9783031712609
Tecnología
Ofertas disponibles por estado
* Todos nuestros productos son revisados cuidadosamente para fomentar la cultura sostenible.
Detalles del producto
Paginas: 138 pag
Autor: Diego Marmsoler, Meng Sun
Editorial: Springer
ISBN: 9783031712609
Formato: tapa blanda
Idioma: en
Publicacion: 17/10/2024
ISBN: 9783031712609
2 ofertas disponibles
libro esperando una segunda oportunidad
Lleva 198 dias esperando que alguien lo vuelva a disfrutar.
Este ejemplar fue revisado a mano, clasificado con cuidado y puesto en nuestra estanteria con la esperanza de encontrar un nuevo hogar. Si buscabas algo de Diego Marmsoler, Meng Sun, este puede ser el momento.
Sinopsis de 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.
Mas titulos para quienes buscan Diego Marmsoler, Meng Sun
Recomendado por Julia
