Language:
English
繁體中文
Help
圖資館首頁
Login
Languages
English
(1)
Jump To :
Overview
|
Titles
|
Subjects
Ferreira, Carla.
Overview
Works:
1 works in 1 publications in 1 languages
Titles
Software engineering and formal methods21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023 : proceedings /
by: (1998 :); Ferreira, Carla.; SpringerLink (Online service); Willemse, Tim A. C.
(Electronic resources)
Subjects
Software engineering
Software Engineering.
Data Structures and Information Theory.
Logic in AI.
Control Structures and Microprogramming.
Programming Techniques.
Formal methods (Computer science)
Computer System Implementation.
Processing
...
Change password
Login
