por Emil Sekerinski, Leila Ribeiro · Springer · tapa blanda · ISBN 9783031713781
IVA incluído
Garantia de qualidade Hamelyn · revisto e verificado, ou devolvemos o dinheiro
«Formal Methods Teaching» reúne as atas do workshop FMTea 2024, editado por Emil Sekerinski e Leila Ribeiro (Springer, brochado, 152 páginas, em inglês).
Reúne sete artigos completos e uma palestra convidada do workshop FMTea 2024, realizado em Milão a 10 de setembro de 2024. Os trabalhos tratam do ensino e da autoaprendizagem de métodos formais: lógica, verificação de software, conceção de sistemas, engenharia de software e inteligência artificial na educação técnica.
Corresponde ao volume 14939 da coleção Lecture Notes in Computer Science (LNCS); edição em inglês publicada pela Springer em 2024.
Para docentes e investigadores de ciências da computação e engenharia de software que queiram ensinar métodos formais.
