Language:
English
繁體中文
Help
圖資館首頁
Login
Languages
English
(1)
Jump To :
Overview
|
Titles
|
Subjects
Platzer, André.
Overview
Works:
2 works in 1 publications in 1 languages
Titles
Formal methods26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024 : proceedings.Part I /
by: (1998 :); Platzer, André.; SpringerLink (Online service)
(Electronic resources)
Subjects
Software Engineering.
Natural Language Processing (NLP)
Programming Language.
Control Structures and Microprogramming.
Formal methods (Computer science)
Computer Science Logic and Foundations of Programming.
Special Purpose and Application-Based Systems.
Processing
...
Change password
Login
