Languages
Simao, Adenilso.
Overview
| Works: | 4 works in 2 publications in 1 languages | |
|---|---|---|
Titles
Formal methods, foundations and applications14th Brazilian Symposium, SBMF 2011, Sao Paulo, Brazil, September 26-30, 2011 : revised selected papers /
by:
(1998 :); Morgan, Carroll.; Simao, Adenilso.; SpringerLink (Online service)
(Electronic resources)
Theoretical aspects of computing - ICTAC 202017th International Colloquium, Macau, China, November 30 - December 4, 2020 : proceedings /
by:
(1998 :); Pun, Violet Ka I.; Simao, Adenilso.; SpringerLink (Online service); Stolz, Volker.
(Electronic resources)
Formal methodsfoundations and applications : 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010 : revised selected papers /
by:
(1998 :); Davies, Jim.; Silva, Leila.; Simao, Adenilso.; SpringerLink (Online service)
(Electronic resources)
Testing software and systems22nd IFIP WG 6.1 international conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010 : proceedings /
by:
(1998 :); Maldonado, Jose Carlos.; Petrenko, Alexandre.; Simao, Adenilso.; SpringerLink (Online service)
(Electronic resources)
Subjects
Software Engineering.
Mathematical Logic and Formal Languages.
Natural Language Processing (NLP)
Telecommunication systems
Logics and Meanings of Programs.
Software Engineering/Programming and Operating Systems.
Computer software
Programming Techniques.
Management of Computing and Information Systems.
Control Structures and Microprogramming.
Programming Languages, Compilers, Interpreters.
Formal methods (Computer science)
Special Purpose and Application-Based Systems.
Models and Principles.
Computer science
Computer Science.
Computer logicvCongresses.