語系
Ribeiro, Leila.
概要
| 作品: | 1 作品在 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); Brazilian Symposium on Formal Methods (2016 :)
(書目-電子資源)
Formal methods teaching = 6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024 : proceedings /
by:
Formal Methods Teaching Workshop and Tutorial (2024 :); Sekerinski, E.; Ribeiro, Leila.; SpringerLink (Online service)
(書目-電子資源)
主題
Software Engineering.
Mathematical Logic and Formal Languages.
Mathematical Logic and Foundations.
Natural Language Processing (NLP)
Logics and Meanings of Programs.
Logic in AI.
Management of Computing and Information Systems.
Control Structures and Microprogramming.
Formal methods (Computer science)
Programming Languages, Compilers, Interpreters.
Computer Application in Social and Behavioral Sciences.
Computer Science.
Simulation and Modeling.