語系
Braga, Christiano.
概要
| 作品: | 2 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
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.
(書目-語言資料,印刷品)
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)
(書目-語言資料,印刷品)
, [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.
(書目-語言資料,印刷品)
, [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.
(書目-語言資料,印刷品)
主題
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).