Language: English

回圖書館首頁

手機版館藏查詢

Login

Languages

English (1)

Jump To : Overview | Titles | Subjects

International Conference on Formal Engineering Methods (2019 :)

Overview

Works:	1 works in 1 publications in 1 languages

Titles

Formal methods and software engineering = 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019 : proceedings / by: International Conference on Formal Engineering Methods (2019 :); Ait-Ameur, Yamine.; Qin, Shengchao.; SpringerLink (Online service) (Electronic resources)

Subjects

Software engineering Theory of Computation. Software Engineering. Formal methods (Computer science) Artificial Intelligence. Computer Systems Organization and Communication Networks. Simulation and Modeling.

Change password

Login