Ribeiro, Leila.
Overview
| Works: | 2 works in 2 publications in 1 languages | |
|---|---|---|
Titles
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 :)
(Language materials, printed)
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.
(Language materials, printed)
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.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Subjects
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.