Languages
Braga, Christiano.
Overview
| Works: | 2 works in 2 publications in 1 languages | |
|---|---|---|
Titles
Formal aspects of component software = 12th International Conference, FACS 2015, Niteroi, Brazil, October 14-16, 2015 : revised selected papers /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Braga, Christiano.; SpringerLink (Online service); Olveczky, Peter Csaba.
(Language materials, printed)
Formal Methods: Foundations and Applications = 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings /
by:
Braga, Christiano.; Martí-Oliet, Narciso.; SpringerLink (Online service)
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Formal Aspects of Component Software = 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers /
by:
SpringerLink (Online service); Ölveczky, Peter Csaba.; Braga, Christiano.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Formal methods = foundations and applications : 17th Brazilian Symposium, SBMF 2014, Maceio, AL, Brazil, September 29 - October 1, 2014 : proceedings /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Braga, Christiano.; SpringerLink (Online service); Marti-Oliet, Narciso.
(Language materials, printed)
Subjects
Software Engineering.
Mathematical logic.
Formal methods (Computer science)
Computer logic.
Software engineering.
Computer Science.
Programming Techniques.
Computer programming.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Component software
Management of Computing and Information Systems.
Computer science.
Management information systems.
Programming Languages, Compilers, Interpreters.
Programming languages (Electronic computers).