Cornélio, Márcio.
Overview
| Works: | 8 works in 0 publications in 0 languages | |
|---|---|---|
Titles
Formal Methods: Foundations and Applications = 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings /
by:
Roscoe, Bill.; SpringerLink (Online service); Cornélio, Márcio.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Subjects
Computer logic.
Computer science.
Logics and Meanings of Programs.
Management information systems.
Management of Computing and Information Systems.
Mathematical logic.
Mathematical Logic and Formal Languages.
Programming Languages, Compilers, Interpreters.
Programming languages (Electronic computers).
Software engineering.
Software Engineering.