por Emil Sekerinski, Leila Ribeiro · Springer · pasta blanda · ISBN 9783031713781
IVA incluido
Compra Protegida con Mercado Pago
El producto no llega o no es lo que pediste, Mercado Pago te devuelve tu dinero.
Garantía de calidad Hamelyn · revisado y verificado, o te devolvemos el dinero
Llegamos a CDMX, Guadalajara, Monterrey, Tijuana, Mérida, Puebla y todo el país.
«Formal Methods Teaching» recoge las actas del taller FMTea 2024, editado por Emil Sekerinski y Leila Ribeiro (Springer, pasta blanda, 152 páginas, en inglés).
Reúne siete artículos completos y una charla invitada del taller FMTea 2024, celebrado en Milán el 10 de septiembre de 2024. Los trabajos tratan la enseñanza y el autoaprendizaje de métodos formales: lógica, verificación de software, diseño de sistemas, ingeniería del software e inteligencia artificial en la educación técnica.
Corresponde al volumen 14939 de la colección Lecture Notes in Computer Science (LNCS); edición en inglés publicada por Springer en 2024.
Para docentes e investigadores de ciencias de la computación e ingeniería de software que quieran enseñar métodos formales.
