Language: English

回圖書館首頁

手機版館藏查詢

Login

Languages

English (1)

Jump To : Overview | Titles | Subjects

International Symposium of Formal Methods Europe (2016 :)

Overview

Works:	6 works in 1 publications in 1 languages

Titles

FM 2016 = formal methods : 21st International Symposium, Limassol, Cyprus, November 9-11, 2016 : proceedings / by: International Symposium of Formal Methods Europe (2016 :); Fitzgerald, John.; SpringerLink (Online service) (Electronic resources)

Subjects

Software Engineering. Mathematical Logic and Formal Languages. Logics and Meanings of Programs. Management of Computing and Information Systems. Computation by Abstract Devices. Formal methods (Computer science) Computer Science.

Change password

Login