Formal Methods Teaching 6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings
by
 
Sekerinski, Emil. editor. (orcid)0000-0001-9788-5842

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

Author
Sekerinski, Emil. editor. (orcid)0000-0001-9788-5842

ISBN
9783031713798

Edition
1st ed. 2024.

Physical Description
IX, 141 p. 39 illus., 34 illus. in color. online resource.

Series
Lecture Notes in Computer Science, 14939

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

Subject Term
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.
 
Control Structures and Microprogramming.

Added Author
Sekerinski, Emil.
 
Ribeiro, Leila.

Added Corporate Author
SpringerLink (Online service)

Electronic Access
https://doi.org/10.1007/978-3-031-71379-8


LibraryMaterial TypeItem BarcodeShelf Number[[missing key: search.ChildField.HOLDING]]Status
Online LibraryE-Book605043-1001ONLINESpringer E-Kitap Koleksiyonu