Language: English

回圖書館首頁

手機版館藏查詢

Login

Languages

English (1)

Jump To : Overview | Titles | Subjects

International Conference on Formal Engineering Methods (2017 :)

Overview

Works:	1 works in 1 publications in 1 languages

Titles

Formal methods and software engineering = 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017 : proceedings / by: Duan, Zhenhua.; Ong, Luke.; SpringerLink (Online service); International Conference on Formal Engineering Methods (2017 :) (Electronic resources)

Subjects

Software engineering Software Engineering. Mathematical Logic and Formal Languages. Logics and Meanings of Programs. Programming Techniques. Formal methods (Computer science) Programming Languages, Compilers, Interpreters. Computer Science. Computer Communication Networks.

Change password

Login