Language: English

回圖書館首頁

手機版館藏查詢

Login

Languages

English (1)

Jump To : Overview | Titles | Subjects

International Conference on Integrated Formal Methods (2017 :)

Overview

Works:	1 works in 1 publications in 1 languages

Titles

Integrated formal methods = 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017 : proceedings / by: International Conference on Integrated Formal Methods (2017 :); Polikarpova, Nadia.; Schneider, Steve.; SpringerLink (Online service) (Electronic resources)

Subjects

Software engineering Software Engineering. Theory of Computation. Formal methods (Computer science) Programming Languages, Compilers, Interpreters. Artificial Intelligence. The Computing Profession. Computer Systems Organization and Communication Networks.

Change password

Login