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

Gespeichert in:
Hauptverfasser:
Sekerinski, Emil (HerausgeberIn), Ribeiro, Leila (HerausgeberIn)
Format:
Elektronisch E-Book
Sprache:
Englisch
Veröffentlicht:
Cham Springer Nature Switzerland Imprint: Springer 2024
Ausgabe:
1st ed. 2024
Umfang:
1 Online-Ressource (IX, 141 p. 39 illus., 34 illus. in color)
text file PDF
ISBN:
9783031713798
ISSN:
1611-3349
DOI:
10.1007/978-3-031-71379-8
Schlagworte:
Mathematical logic
Logic programming
Natural language processing (Computer science)
Social sciences > Data processing
Software engineering
Microprogramming 
Bezugswerke:
Links: