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
Mathematical logic.
Software Engineering.
Management of Computing and Information Systems.
Computer logic.
Programming languages (Electronic computers).
Programming Languages, Compilers, Interpreters.
Software engineering.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Computer science.
Management information systems.