Knjižničarski pogled: Formal Methods 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part II / edited by Andre Platzer, Kristin Yvonne Rozier, Matteo Pradella, Matteo Rossi. [electronic resource] :

Summary goes here

Shranjeno v:

Bibliografske podrobnosti
Format:	Knjiga
Jezik:	angleščina
Teme:	Software engineering. Computer science. Computers, Special purpose. Programming languages (Electronic computers). Microprogramming . Natural language processing (Computer science). Software Engineering. Computer Science Logic and Foundations of Programming. Special Purpose and Application-Based Systems. Programming Language. Control Structures and Microprogramming. Natural Language Processing (NLP).
Oznake:	Označite Brez oznak, prvi označite!

era
format	Book
genre
geographic
id	89b0e8cd-842e-45d3-9956-fff17eefd324
isbn	9783031711770
issn
language	eng
physical	XXII, 652 p. 193 illus., 170 illus. in color.online resource.
publication	– publisher: Springer Nature Switzerland dateOfPublication: 2025
publishDate	2025
subjects
title	Formal Methods 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part II / edited by Andre Platzer, Kristin Yvonne Rozier, Matteo Pradella, Matteo Rossi. [electronic resource] :
topic	Software engineering. Computer science. Computers, Special purpose. Programming languages (Electronic computers). Microprogramming . Natural language processing (Computer science). Software Engineering. Computer Science Logic and Foundations of Programming. Special Purpose and Application-Based Systems. Programming Language. Control Structures and Microprogramming. Natural Language Processing (NLP).