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.
Control Structures and Microprogramming.
Simulation and Modeling.
Software engineering.
Computer science.
Management information systems.
Logic in AI.
Natural Language Processing (NLP)
Computer Science.
Programming Languages, Compilers, Interpreters.
Programming languages (Electronic computers).
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Mathematical Logic and Foundations.
Computer simulation.
Management of Computing and Information Systems.