Language: English

回圖書館首頁

手機版館藏查詢

Login

Languages

English (1)

Jump To : Overview | Titles | Subjects

International Conference on Software Engineering and Formal Methods (2023 :)

Overview

Works:	1 works in 1 publications in 1 languages

Titles

Software engineering and formal methods = 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023 : proceedings / by: International Conference on Software Engineering and Formal Methods (2023 :); Ferreira, Carla.; Willemse, Tim A. C.; SpringerLink (Online service) (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.

Change password

Login