Languages
Barbosa, Luis Soares.
Overview
| Works: | 1 works in 2 publications in 1 languages | |
|---|---|---|
Titles
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.
(Language materials, printed)
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 :)
(Language materials, printed)
Subjects
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.