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...

Descripción completa

Detalles Bibliográficos

Autor Corporativo:	SpringerLink (Online service)
Otros Autores:	Sekerinski, Emil (Editor), Ribeiro, Leila (Editor)
Formato:	Electrónico eBook
Lenguaje:	inglés
Publicado:	Cham : Springer Nature Switzerland : Imprint: Springer, 2024.
Edición:	1st ed. 2024.
Colección:	Lecture Notes in Computer Science, 14939
Materias:	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 línea:	https://doi.org/10.1007/978-3-031-71379-8
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!