Formal Methods : 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part I / [electronic resource] : / edited by André Platzer, Kristin Yvonne Rozier, Matteo Pradella, Matteo Rossi.. — 1st ed. 2025.. — XXII, 680 p. 166 illus., 113 illus. in color. : online resource. — (Lecture Notes in Computer Science,) 14933 1611-3349 ;. - Lecture Notes in Computer Science, 14933 .

Open Access

Анотація:
This open access book constitutes the refereed proceedings of the 26th International Symposium on Formal Methods, FM 2024, which took place in Milan, Italy, in September 2024. .

ISBN: 9783031711626

Standard No.: 10.1007/978-3-031-71162-6 doi

Subjects--Topical Terms:
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).

LC Class. No.: QA76.758

Dewey Class. No.: 005.1