Language: English

回圖書館首頁

手機版館藏查詢

Login

Languages

English (1)

Jump To : Overview | Titles | Subjects

Brazilian Symposium on Formal Methods (2017 :)

Overview

Works:	1 works in 1 publications in 1 languages

Titles

Formal methods = foundations and applications : 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017 : proceedings / by: Brazilian Symposium on Formal Methods (2017 :); Cavalheiro, Simone.; Fiadeiro, Jose.; SpringerLink (Online service) (Electronic resources)

Subjects

Software Engineering. Theory of Computation. Formal methods (Computer science) The Computing Profession. Computer Science. Simulation and Modeling. System Performance and Evaluation.

Change password

Login