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

Fuld beskrivelse

Bibliografiske detaljer

Institution som forfatter:	SpringerLink (Online service)
Andre forfattere:	Sekerinski, Emil (Editor), Ribeiro, Leila (Editor)
Format:	Electronisk eBog
Sprog:	engelsk
Udgivet:	Cham : Springer Nature Switzerland : Imprint: Springer, 2024.
Udgivelse:	1st ed. 2024.
Serier:	Lecture Notes in Computer Science, 14939
Fag:	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.
Online adgang:	https://doi.org/10.1007/978-3-031-71379-8
Tags:	Tilføj Tag Ingen Tags, Vær først til at tagge denne postø!