Imaxe de Portada

Formal Methods Teaching 5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023, Proceedings /

This book constitutes the proceedings of the 5th International Workshop on Formal Methods Teaching, FMTea 2023, which was held in Lübeck, Germany, in March 2023. The 7 full papers presented in this volume were carefully reviewed and selected from 10 submissions. FMTea 2023 aim is to support a worldw...

Descrición completa

Gardado en:
Detalles Bibliográficos
Autor Corporativo: SpringerLink (Online service)
Outros autores: Dubois, Catherine (Editor), San Pietro, Pierluigi (Editor)
Formato: Electrónico eBook
Idioma:inglés
Publicado: Cham : Springer Nature Switzerland : Imprint: Springer, 2023.
Edición:1st ed. 2023.
Series:Lecture Notes in Computer Science, 13962
Subjects:
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.
Acceso en liña:https://doi.org/10.1007/978-3-031-27534-0
Tags: Engadir etiqueta
Sen Etiquetas, Sexa o primeiro en etiquetar este rexistro!
Descripción
Summary:This book constitutes the proceedings of the 5th International Workshop on Formal Methods Teaching, FMTea 2023, which was held in Lübeck, Germany, in March 2023. The 7 full papers presented in this volume were carefully reviewed and selected from 10 submissions. FMTea 2023 aim is to support a worldwide improvement in learning Formal Methods, mainly by teaching but also via self-learning.
Descrición Física:1 online resource (IX, 105 p. 69 illus.). 20 illus. in color.
ISBN:9783031275340
ISSN:1611-3349 ;
DOI:10.1007/978-3-031-27534-0

Títulos similares