Modelagem de programas e sua verificação para controladores programáveis (2008)
Sarmento, Cleber Alves; Santos Filho, Diolino Jose dos (Orientador) 
Subjects: CONTROLADORES PROGRAMÁVEIS, LINGUAGEM DE PROGRAMAÇÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SARMENTO, Cleber Alves. Modelagem de programas e sua verificação para controladores programáveis. 2008. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2008. Disponível em: http://www.teses.usp.br/teses/disponiveis/3/3152/tde-02042008-120021/. Acesso em: 09 nov. 2025.APA
Sarmento, C. A. (2008). Modelagem de programas e sua verificação para controladores programáveis (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/3/3152/tde-02042008-120021/NLM
Sarmento CA. Modelagem de programas e sua verificação para controladores programáveis [Internet]. 2008 ;[citado 2025 nov. 09 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3152/tde-02042008-120021/Vancouver
Sarmento CA. Modelagem de programas e sua verificação para controladores programáveis [Internet]. 2008 ;[citado 2025 nov. 09 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3152/tde-02042008-120021/
