Language: English

回圖書館首頁

手機版館藏查詢

Login

Languages

English (1)

Jump To : Overview | Titles | Subjects

Brazilian Symposium on Formal Methods (2016 :)

Overview

Works:	5 works in 1 publications in 1 languages

Titles

Formal methods = foundations and applications : 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016 : proceedings / by: Ribeiro, Leila.; Lecomte, Thierry.; SpringerLink (Online service); Brazilian Symposium on Formal Methods (2016 :) (Electronic resources)

Subjects

Software Engineering. Mathematical Logic and Formal Languages. Logics and Meanings of Programs. Management of Computing and Information Systems. Formal methods (Computer science) Programming Languages, Compilers, Interpreters. Computer Science. Simulation and Modeling.

Change password

Login