Imagem da capa

Formal Methods Teaching 6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings /

This book constitutes the proceedings of the 6th International Workshop on Formal Methods Teaching, FMTea 2024, which was held in Milan, Italy, on September 10, 2024. The 7 full papers included in these proceedings were carefully reviewed and selected from 9 submissions. The book also contains one i...

ver descrição completa

Na minha lista:
Detalhes bibliográficos
Autor Corporativo: SpringerLink (Online service)
Outros Autores: Sekerinski, Emil (Editor), Ribeiro, Leila (Editor)
Formato: Recurso Electrónico livro electrónico
Idioma:inglês
Publicado em: Cham : Springer Nature Switzerland : Imprint: Springer, 2024.
Edição:1st ed. 2024.
Colecção:Lecture Notes in Computer Science, 14939
Assuntos:
Mathematical logic.
Logic programming.
Natural language processing (Computer science).
Social sciences > Data processing.
Software engineering.
Microprogramming .
Mathematical Logic and Foundations.
Logic in AI.
Natural Language Processing (NLP).
Computer Application in Social and Behavioral Sciences.
Software Engineering.
Control Structures and Microprogramming.
Acesso em linha:https://doi.org/10.1007/978-3-031-71379-8
Tags: Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
Descrição
Resumo:This book constitutes the proceedings of the 6th International Workshop on Formal Methods Teaching, FMTea 2024, which was held in Milan, Italy, on September 10, 2024. The 7 full papers included in these proceedings were carefully reviewed and selected from 9 submissions. The book also contains one invited talk in full paper length. The papers focus on learning formal methods for the purpose of teaching and self-learning.
Descrição Física:IX, 141 p. 39 illus., 34 illus. in color. online resource.
ISBN:9783031713798
ISSN:1611-3349 ;
DOI:10.1007/978-3-031-71379-8

Registos relacionados