語系
Barbosa, Luis Soares.
概要
| 作品: | 1 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Programming languages = 16th Brazilian Symposium, SBLP 2012, Natal, Brazil, September 23-28, 2012 : proceedings /
by:
SpringerLink (Online service); Barbosa, Luis Soares.; Workshop on the Preservation of Stability under Discretization ((2001 :); Carvalho Junior, Francisco Heron.
(書目-語言資料,印刷品)
Formal aspects of component software = 7th international workshop, FACS 2010, Guimaraes, Portugal, October 14-16, 2010 : revised selected papers /
by:
SpringerLink (Online service); Lumpe, Markus.; Barbosa, Luis Soares.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(書目-語言資料,印刷品)
主題
Software Engineering.
Formal methods (Computer science)
Computer Communication Networks.
Software engineering.
Computer science.
Logic design.
Programming languages (Electronic computers)
Computer networks.
Computer Science.
Programming Techniques.
Programming Languages, Compilers, Interpreters.
Component software
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.