por Emil Sekerinski, Leila Ribeiro · Springer · tapa blanda · ISBN 9783031713781
IVA incluido
Garantía de calidad Hamelyn · revisado y verificado, o te devolvemos el dinero
«Formal Methods Teaching» recoge las actas del taller FMTea 2024, editado por Emil Sekerinski y Leila Ribeiro (Springer, tapa 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.
