Language: English

Login

Languages

English (1)

Jump To : Overview | Titles | Subjects

Silva, Leila.

Overview

Works:	1 works in 1 publications in 1 languages

Titles

Formal methods = foundations and applications : 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010 : revised selected papers / by: SpringerLink (Online service); Simao, Adenilso.; Silva, Leila.; Congress on Progress and Controversies in Oncological Urology (2000:); Davies, Jim. (Electronic resources)

Subjects

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

Change password

Login