Ribeiro, Leila.
概要
| 作品: | 2 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Formal methods = foundations and applications : 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016 : proceedings /
by:
Ribeiro, Leila.; Lecomte, Thierry.; SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :)
(書目-語言資料,印刷品)
Formal methods teaching = 6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024 : proceedings /
by:
SpringerLink (Online service); Ribeiro, Leila.; Workshop on the Preservation of Stability under Discretization ((2001 :); Sekerinski, E.
(書目-語言資料,印刷品)
Formal Methods: Foundations and Applications = 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings /
by:
SpringerLink (Online service); Lecomte, Thierry.; Ribeiro, Leila.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
主題
Software Engineering.
Mathematical logic.
Formal methods (Computer science)
Computer Application in Social and Behavioral Sciences.
Computer logic.
Software engineering.
Logic in AI.
Computer Science.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Mathematical Logic and Foundations.
Computer simulation.
Management of Computing and Information Systems.
Control Structures and Microprogramming.
Simulation and Modeling.
Computer science.
Management information systems.
Natural Language Processing (NLP)
Programming Languages, Compilers, Interpreters.
Programming languages (Electronic computers).